--- 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)