
diff -r 75a1c9575edb -r 3b84288e60b7 doc-src/TutorialI/Rules/document/root.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/TutorialI/Rules/document/root.tex	Wed Dec 13 17:46:49 2000 +0100
@@ -0,0 +1,4 @@
+\documentclass{article}
+\begin{document}
+xxx
+\end{document}




