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.
do not remove Rules and Sets TeX files
authorpaulson
Wed, 11 Jul 2001 10:50:18 +0200
changeset 11401 26cbf43d76af
parent 11400 ddcfdc38090d
child 11402 e143bb9d8255
do not remove Rules and Sets TeX files
doc-src/TutorialI/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/IsaMakefile	Mon Jul 09 13:43:02 2001 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Wed Jul 11 10:50:18 2001 +0200
@@ -36,8 +36,7 @@
 	@rm -f */document/isabellesym.sty
 	@rm -f */document/pdfsetup.sty
 	@rm -f */document/session.tex
-	@rm -f Rules/document/*.tex
-	@rm -f Sets/document/*.tex
+
 
 
 ## HOL-Ifexpr
isabelle