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/System/IsaMakefile
author wenzelm
Sat, 28 Jul 2012 15:21:49 +0200
changeset 48578 21361b6189a6
parent 47825 4f25960417ae
permissions -rw-r--r--
some description of isabelle build;
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









47825






4f25960417ae
some coverage of Isabelle/Scala tools;



wenzelm


parents: 
43564

diff
changeset




    24


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













4f25960417ae
some coverage of Isabelle/Scala tools;



wenzelm


parents: 
43564

diff
changeset




    25


  Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy	\








48578






21361b6189a6
some description of isabelle build;



wenzelm


parents: 
47825

diff
changeset




    26


  Thy/Scala.thy Thy/Sessions.thy








28220






889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);



wenzelm


parents: 

diff
changeset




    27


	@$(USEDIR) -s System Pure Thy








30458






804de935c328
delete unused generated files;



wenzelm


parents: 
30456

diff
changeset




    28


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













804de935c328
delete unused generated files;



wenzelm


parents: 
30456

diff
changeset




    29


	 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




    30














889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);



wenzelm


parents: 

diff
changeset




    31














889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);



wenzelm


parents: 

diff
changeset




    32


## clean













889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);



wenzelm


parents: 

diff
changeset




    33














889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);



wenzelm


parents: 

diff
changeset




    34


clean:













889e5b7e006c
basic setup for generated document sources (cf. IsarRef/isar-ref.tex);



wenzelm


parents: 

diff
changeset




    35


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















isabelle