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 blanchet
Fri, 20 May 2011 12:47:59 +0200
changeset 42886 208ec29cc013
parent 42637 381fdcab0f36
permissions -rw-r--r--
improved "poly_preds_{bang,query}" by picking up good witnesses for the possible infinity of common type classes and ensuring that "?'a::type" doesn't ruin everything
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


## targets













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     3














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     4


default: dvi













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     5














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     6


## dependencies













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     7














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     8


dvi:













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




     9


	cd Isar/document; make dvi













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    10














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    11


pdf:













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    12


	cd Isar/document; make pdf













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    13














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    14


clean:













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    15


	cd Isar/document; make clean













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    16














740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    17


mrproper:













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    18


	rm -f *.pdf *.dvi













740788f3f6b7
makefiles for latex runs



kleing


parents: 

diff
changeset




    19


	cd Isar/document; make mrproper















isabelle