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 nipkow
Wed, 09 Feb 2005 18:50:09 +0100
changeset 15512 ed1fa4617f52
parent 14003 740788f3f6b7
child 42637 381fdcab0f36
permissions -rw-r--r--
Extracted generic lattice stuff to new Lattice_Locales.thy
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