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/Main/IsaMakefile
author bulwahn
Fri, 11 Nov 2011 08:32:45 +0100
changeset 45450 dc2236b19a3d
parent 42513 96a55556639c
permissions -rw-r--r--
adding CPS compilation to predicate compiler; removing function_flattening reference; new testers smart_exhaustive and smart_slow_exhaustive; renaming PredicateCompFuns to Predicate_Comp_Funs;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
30457
28b487cd9e15 basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
diff changeset 
     1
 












28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




     2


## targets













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




     3














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




     4


default: HOL-Docs













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




     5


images:













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




     6


test: HOL-Docs













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




     7














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




     8


all: images test













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




     9














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    10














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    11


## global settings













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    12














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    13


SRC = $(ISABELLE_HOME)/src













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    14


OUT = $(ISABELLE_OUTPUT)













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    15


LOG = $(OUT)/log













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    16














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    17


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













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    18














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    19














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    20


## sessions













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    21














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    22


HOL-Docs: $(LOG)/HOL-Docs.gz













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    23














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    24


$(LOG)/HOL-Docs.gz: Docs/Main_Doc.thy Docs/ROOT.ML













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    25


	@$(USEDIR) HOL Docs








42513






96a55556639c
misc cleanup;



wenzelm


parents: 
30457

diff
changeset




    26


	@rm -f Docs/document/isabelle.sty













96a55556639c
misc cleanup;



wenzelm


parents: 
30457

diff
changeset




    27


	@rm -f Docs/document/isabellesym.sty













96a55556639c
misc cleanup;



wenzelm


parents: 
30457

diff
changeset




    28


	@rm -f Docs/document/pdfsetup.sty













96a55556639c
misc cleanup;



wenzelm


parents: 
30457

diff
changeset




    29


	@rm -f Docs/document/session.tex








30457






28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    30














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    31














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    32


## clean













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    33














28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    34


clean:













28b487cd9e15
basic setup for "main" as generated Isabelle manual;



wenzelm


parents: 

diff
changeset




    35


	@rm -f $(LOG)/HOL-Docs.gz















isabelle