1.1 --- a/doc-src/TutorialI/tutorial.tex	Tue Feb 13 16:31:18 2001 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Tue Feb 13 16:48:36 2001 +0100
     1.3 @@ -1,6 +1,7 @@
     1.4  \documentclass{article}
     1.5  \newif\ifremarks
     1.6 -\remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
     1.7 +%\remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
     1.8 +\remarksfalse
     1.9  \usepackage{cl2emono-modified,isabelle,isabellesym}
    1.10  \usepackage{../proof,amsmath,amsfonts}
    1.11  \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}