# HG changeset patch
# User nipkow
# Date 970490645 -7200
# Node ID 33a3cf0a5c25c971953dd2e34204bf7fcf25c05c
# Parent  9469c039ff57398db794814d9a945a19101a4502
*** empty log message ***

diff -r 9469c039ff57 -r 33a3cf0a5c25 doc-src/TutorialI/CTL/document/root.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/TutorialI/CTL/document/root.tex	Mon Oct 02 14:44:05 2000 +0200
@@ -0,0 +1,4 @@
+\documentclass{article}
+\begin{document}
+xxx
+\end{document}