# HG changeset patch
# User wenzelm
# Date 982079316 -3600
# Node ID 306beb99e192f2d5ac5fbbea52ccee92c3d819df
# Parent  ce1cefc6c14cb8f45f374bb225aae365259a360b
\remarksfalse;

diff -r ce1cefc6c14c -r 306beb99e192 doc-src/TutorialI/tutorial.tex
--- 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}