# HG changeset patch
# User nipkow
# Date 1032945806 -7200
# Node ID a246a0a52dfb49831e9609d758616a577aaffd11
# Parent  355ea87a27def1e1619c090f36f3f6949843a119
*** empty log message ***

diff -r 355ea87a27de -r a246a0a52dfb doc-src/TutorialI/IsarOverview/Isar/document/.cvsignore
--- a/doc-src/TutorialI/IsarOverview/Isar/document/.cvsignore	Wed Sep 25 11:22:28 2002 +0200
+++ b/doc-src/TutorialI/IsarOverview/Isar/document/.cvsignore	Wed Sep 25 11:23:26 2002 +0200
@@ -1,1 +1,2 @@
-*.sty
\ No newline at end of file
+*.sty
+session.tex
\ No newline at end of file