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