doc-src/TutorialI/tutorial.tex
changeset 10498 777d6bde7b47
parent 10399 e37e123738f7
child 10520 bb9dfcc87951
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Nov 20 16:41:25 2000 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Tue Nov 21 10:37:04 2000 +0100
     1.3 @@ -1,4 +1,3 @@
     1.4 -% pr(latex xsymbols symbols)
     1.5  \documentclass{article}
     1.6  \newif\ifremarks
     1.7  \remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)