doc-src/IsarOverview/Makefile
author hoelzl
Mon, 23 Aug 2010 19:35:57 +0200
changeset 38656 d5d342611edb
parent 14003 740788f3f6b7
child 42637 381fdcab0f36
permissions -rw-r--r--
Rewrite the Probability theory. Introduced pinfreal as real numbers with infinity. Use pinfreal as value for measures. Introduces Lebesgue Measure based on the integral in Multivariate Analysis. Proved Radon Nikodym for arbitrary sigma finite measure spaces.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14003
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     1
#
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     2
# $Id$
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     3
#
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     4
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     5
## targets
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     6
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     7
default: dvi
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     8
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
     9
## dependencies
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    10
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    11
dvi:
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    12
	cd Isar/document; make dvi
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    13
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    14
pdf:
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    15
	cd Isar/document; make pdf
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    16
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    17
clean:
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    18
	cd Isar/document; make clean
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    19
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    20
mrproper:
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    21
	rm -f *.pdf *.dvi
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset
    22
	cd Isar/document; make mrproper