# HG changeset patch # User wenzelm # Date 969042917 -7200 # Node ID 79b23dbb4b8988adb5f457ed0dff2b91352645fb # Parent fe6ffa46266fbd3d9037080b773945ce5689b4c5 added; diff -r fe6ffa46266f -r 79b23dbb4b89 doc-src/TutorialI/Advanced/document/root.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/TutorialI/Advanced/document/root.tex Fri Sep 15 20:35:17 2000 +0200 @@ -0,0 +1,4 @@ +\documentclass{article} +\begin{document} +xxx +\end{document}