# HG changeset patch
# User wenzelm
# Date 969043626 -7200
# Node ID aaaca09b18de6a8346b3ab28baa4eab763491bc8
# Parent  79b23dbb4b8988adb5f457ed0dff2b91352645fb
*** empty log message ***

diff -r 79b23dbb4b89 -r aaaca09b18de doc-src/TutorialI/IsaMakefile
--- a/doc-src/TutorialI/IsaMakefile	Fri Sep 15 20:35:17 2000 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Fri Sep 15 20:47:06 2000 +0200
@@ -28,6 +28,7 @@
 	@rm -f */document/isabelle.sty
 	@rm -f */document/isabellesym.sty
 	@rm -f */document/pdfsetup.sty
+	@rm -f */document/session.tex
 
 
 ## HOL-Ifexpr