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