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/IsarOverview/Makefile
author wenzelm
Mon, 01 Aug 2005 19:20:44 +0200
changeset 16990 7fceb965cf52
parent 14003 740788f3f6b7
child 42637 381fdcab0f36
permissions -rw-r--r--
removed atless (use term_ord instead); removed (inefficient) insert_aterm; improved bound: nameless, avoid allocating new strings; tuned sort_ord/typ_ord: dict_ord; tuned abstract_over: SAME; tuned add_term_vars/frees: OrdList.insert; removed compress_type/compress_type (cf. compress.ML);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14003
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset 
     1
 
#
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset 
     2
 
# $Id$
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset 
     3
 
#
740788f3f6b7 makefiles for latex runs
kleing
parents:
diff changeset 
     4
 












740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     5


## targets













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     6














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     7


default: dvi













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     8














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     9


## dependencies













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    10














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    11


dvi:













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    12


	cd Isar/document; make dvi













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    13














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    14


pdf:













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    15


	cd Isar/document; make pdf













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    16














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    17


clean:













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    18


	cd Isar/document; make clean













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    19














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    20


mrproper:













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    21


	rm -f *.pdf *.dvi













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    22


	cd Isar/document; make mrproper















isabelle