Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarImplementation/IsaMakefile
author wenzelm
Mon, 09 Mar 2009 22:43:25 +0100
changeset 30399 a4772a650b4e
parent 30124 b956bf0dc87c
child 30456 d21bc48823b7
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
18537
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset 
     1
 












2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




     2


## targets













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




     3














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




     4


default: Thy













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




     5


images: 













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




     6


test: Thy













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




     7














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




     8


all: images test













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




     9














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    10














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    11


## global settings













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    12














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    13


SRC = $(ISABELLE_HOME)/src













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    14


OUT = $(ISABELLE_OUTPUT)













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    15


LOG = $(OUT)/log













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    16









28500






4b79e5d3d0aa
replaced ISATOOL by ISABELLE_TOOL;



wenzelm


parents: 
21374

diff
changeset




    17


USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document








18537






2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    18














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    19














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    20


## Thy













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    21














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    22


Thy: $(LOG)/Pure-Thy.gz













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    23









29755






d66b34e46bdf
observe usual theory naming conventions;



wenzelm


parents: 
28500

diff
changeset




    24


$(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy	\













d66b34e46bdf
observe usual theory naming conventions;



wenzelm


parents: 
28500

diff
changeset




    25


  Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy	\








30124






b956bf0dc87c
basic setup for chapter "Syntax and type-checking";



wenzelm


parents: 
29755

diff
changeset




    26


  Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy		\













b956bf0dc87c
basic setup for chapter "Syntax and type-checking";



wenzelm


parents: 
29755

diff
changeset




    27


  ../antiquote_setup.ML








18537






2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    28


	@$(USEDIR) Pure Thy













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    29














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    30














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    31


## clean













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    32














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    33


clean:













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    34


	@rm -f $(LOG)/Pure-Thy.gz















isabelle