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/IsarRef/IsaMakefile
author berghofe
Wed, 07 May 2008 10:56:49 +0200
changeset 26801 244184661a09
parent 26782 19363c70b5c4
child 26840 ec46381f149d
permissions -rw-r--r--
- Function dec in Trancl_Tac must eta-contract relation before calling decr, since it is now a function and could therefore be in eta-expanded form - The trancl prover now does more eta-contraction itself, so eta-contraction is no longer necessary in Tranclp_tac.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
26738
615e1a86787b basic setup for generated document (cf. ../IsarImplementation);
wenzelm
parents:
diff changeset 
     1
 












615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




     2


## targets













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




     3














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




     4


default: Thy













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




     5


images: 













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




     6


test: Thy













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




     7














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




     8


all: images test













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




     9














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    10














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    11


## global settings













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    12














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    13


SRC = $(ISABELLE_HOME)/src













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    14


OUT = $(ISABELLE_OUTPUT)













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    15


LOG = $(OUT)/log













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    16














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    17


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













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    18














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    19














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    20


## Thy













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    21









26758






72af85f6d70b
session based on HOL;



wenzelm


parents: 
26754

diff
changeset




    22


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








26738






615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    23









26758






72af85f6d70b
session based on HOL;



wenzelm


parents: 
26754

diff
changeset




    24


$(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \








26782






19363c70b5c4
converted generic.tex to Thy/Generic.thy;



wenzelm


parents: 
26779

diff
changeset




    25


  Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy








26758






72af85f6d70b
session based on HOL;



wenzelm


parents: 
26754

diff
changeset




    26


	@$(USEDIR) HOL Thy








26738






615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    27














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    28














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    29


## clean













615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    30














615e1a86787b
basic setup for generated document (cf. ../IsarImplementation);



wenzelm


parents: 

diff
changeset




    31


clean:








26758






72af85f6d70b
session based on HOL;



wenzelm


parents: 
26754

diff
changeset




    32


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















isabelle