# HG changeset patch
# User wenzelm
# Date 932396011 -7200
# Node ID 94ef4859c6dabc1a9ccf817981b2f2071a09ba3f
# Parent  48a66203192c5c82ad679406d261bc296ab8fa17
added isabelle_isar logo;

diff -r 48a66203192c -r 94ef4859c6da doc-src/Makefile.in
--- a/doc-src/Makefile.in	Mon Jul 19 16:53:02 1999 +0200
+++ b/doc-src/Makefile.in	Mon Jul 19 16:53:31 1999 +0200
@@ -27,18 +27,26 @@
 mrproper:
 	@rm -f $(OUTPUT) $(GARBAGE)
 
+
 isabelle.eps:
 	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
 
+isabelle_isar.eps:
+	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
+
 isabelle_hol.eps:
 	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
 
 isabelle_zf.eps:
 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
 
+
 isabelle.pdf:
 	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
 
+isabelle_isar.pdf:
+	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
+
 isabelle_hol.pdf:
 	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .