doc-src/System/IsaMakefile
author nipkow
Tue, 22 Mar 2011 12:49:07 +0100
changeset 42059 83f3dc509068
parent 30458 804de935c328
child 43564 9864182c6bad
permissions -rw-r--r--
fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     1
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     2
## targets
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     3
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     4
default: Pure-System
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     5
images: 
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     6
test: Pure-System
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     7
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     8
all: images test
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
     9
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    10
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    11
## global settings
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    12
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    13
SRC = $(ISABELLE_HOME)/src
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    14
OUT = $(ISABELLE_OUTPUT)
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    15
LOG = $(OUT)/log
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    16
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 28226
diff changeset
    17
USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    18
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    19
30456
wenzelm
parents: 28916
diff changeset
    20
## sessions
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    21
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    22
Pure-System: $(LOG)/Pure-System.gz
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    23
28226
97c530dc8aca converted symbols.tex;
wenzelm
parents: 28224
diff changeset
    24
$(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML		\
28916
0a802cdda340 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
wenzelm
parents: 28838
diff changeset
    25
  Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    26
	@$(USEDIR) -s System Pure Thy
30458
804de935c328 delete unused generated files;
wenzelm
parents: 30456
diff changeset
    27
	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
804de935c328 delete unused generated files;
wenzelm
parents: 30456
diff changeset
    28
	 Thy/document/pdfsetup.sty Thy/document/session.tex
28220
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    29
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    30
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    31
## clean
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    32
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    33
clean:
889e5b7e006c basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
wenzelm
parents:
diff changeset
    34
	@rm -f $(LOG)/Pure-System.gz