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
Sat, 07 Aug 2010 22:43:57 +0200
changeset 38231 968844caaff9
parent 30458 804de935c328
child 39822 0de42180febe
permissions -rw-r--r--
simplified some Markup;
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









30456





wenzelm


parents: 
30124

diff
changeset




    20


## sessions








18537






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








30458






804de935c328
delete unused generated files;



wenzelm


parents: 
30456

diff
changeset




    29


	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \













804de935c328
delete unused generated files;



wenzelm


parents: 
30456

diff
changeset




    30


	 Thy/document/pdfsetup.sty Thy/document/session.tex








18537






2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    31














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














2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    35


clean:













2681f9e34390
"The Isabelle/Isar Implementation" manual;



wenzelm


parents: 

diff
changeset




    36


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















isabelle