Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authorhaftmann
Tue, 10 Oct 2006 11:41:29 +0200
changeset 20947 bc827aa5015e
parent 20946 75b56e51fade
child 20948 9b9910b82645
*** empty log message ***
doc-src/IsarAdvanced/Classes/Makefile file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarAdvanced/Classes/Makefile	Tue Oct 10 11:38:43 2006 +0200
+++ b/doc-src/IsarAdvanced/Classes/Makefile	Tue Oct 10 11:41:29 2006 +0200
@@ -11,6 +11,12 @@
 
 include ../../Makefile.in
 
+isabelle_isar.eps:
+	test -r isabelle_isar.eps || ln -s ../../gfx/isabelle_isar.eps .
+
+isabelle_isar.pdf:
+	test -r isabelle_isar.pdf || ln -s ../../gfx/isabelle_isar.pdf .
+
 NAME = classes
 
 FILES = $(NAME).tex classes.tex Thy/document/Classes.tex \
isabelle