# HG changeset patch
# User nipkow
# Date 974799424 -3600
# Node ID 777d6bde7b47366ce8c49e9af940f8f2b5436618
# Parent  7c6985b4de40d9b55d50e585544956a6a59039d3
*** empty log message ***

diff -r 7c6985b4de40 -r 777d6bde7b47 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Mon Nov 20 16:41:25 2000 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Tue Nov 21 10:37:04 2000 +0100
@@ -1,4 +1,3 @@
-% pr(latex xsymbols symbols)
 \documentclass{article}
 \newif\ifremarks
 \remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)