diff -r 75a399c2781f -r 454a2ad0c381 doc-src/TutorialI/IsarOverview/Isar/document/.cvsignore
--- a/doc-src/TutorialI/IsarOverview/Isar/document/.cvsignore	Sat May 10 20:53:02 2003 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-*.sty
-session.tex
\ No newline at end of file