
diff -r 0a380ac80e7d -r 6eb91805a012 doc-src/TutorialI/Rules/rules.tex
--- a/doc-src/TutorialI/Rules/rules.tex	Thu Oct 26 10:27:04 2000 +0200
+++ b/doc-src/TutorialI/Rules/rules.tex	Thu Oct 26 11:27:48 2000 +0200
@@ -1,3 +1,4 @@
+% ID:         $Id$
 \chapter{The Rules of the Game}
 \label{chap:rules}
  




