# HG changeset patch
# User wenzelm
# Date 1116346237 -7200
# Node ID bc6ead9d662875b37fb2a811a22cec4b48f47503
# Parent  a53abeedc8796f49aec5b4a9402755340662b0c9
updated;

diff -r a53abeedc879 -r bc6ead9d6628 doc-src/LaTeXsugar/Sugar/document/Sugar.tex
--- a/doc-src/LaTeXsugar/Sugar/document/Sugar.tex	Tue May 17 18:10:36 2005 +0200
+++ b/doc-src/LaTeXsugar/Sugar/document/Sugar.tex	Tue May 17 18:10:37 2005 +0200
@@ -134,7 +134,7 @@
 This \verb!no_vars! business can become a bit tedious.
 If you would rather never see question marks, simply put
 \begin{verbatim}
-reset show_var_qmarks;
+reset show_question_marks;
 \end{verbatim}
 at the beginning of your file \texttt{ROOT.ML}.
 The rest of this document is produced with this flag reset.%
@@ -379,8 +379,8 @@
     \verb!setup {!\verb!*!\\
     \verb!let!\\
     \verb!  fun my_lhs ctxt (Const ("==", _) $ t $ _) = t!\\
-    \verb!    | my_lhs ctxt (Const ("Trueprop", _) $ t) = my_lhs t!\\
-    \verb!    | my_lhs ctxt (Const ("==>", _) $ _ $ t) = my_lhs t!\\
+    \verb!    | my_lhs ctxt (Const ("Trueprop", _) $ t) = my_lhs ctxt t!\\
+    \verb!    | my_lhs ctxt (Const ("==>", _) $ _ $ t) = my_lhs ctxt t!\\
     \verb!    | my_lhs ctxt (_ $ t $ _) = t!\\
     \verb!    | my_lhs ctxt _ = error ("Binary operator expected")!\\
     \verb!  in [TermStyle.update_style "new_lhs" my_lhs]!\\