updated;
authorwenzelm
Thu, 19 Jan 2006 21:22:29 +0100
changeset 18723 91d67d2f121c
parent 18722 0888eca0f1be
child 18724 cb6e0064c88c
updated;
doc-src/LaTeXsugar/Sugar/document/Sugar.tex
doc-src/TutorialI/CTL/document/Base.tex
--- a/doc-src/LaTeXsugar/Sugar/document/Sugar.tex	Thu Jan 19 21:22:27 2006 +0100
+++ b/doc-src/LaTeXsugar/Sugar/document/Sugar.tex	Thu Jan 19 21:22:29 2006 +0100
@@ -492,7 +492,7 @@
     \verb!setup {!\verb!*!\\
     \verb!let!\\
     \verb!  fun my_concl ctxt = Logic.strip_imp_concl!\\
-    \verb!  in [TermStyle.add_style "my_concl" my_concl]!\\
+    \verb!  in TermStyle.add_style "my_concl" my_concl!\\
     \verb!end;!\\
     \verb!*!\verb!}!\\
   \end{quote}
--- a/doc-src/TutorialI/CTL/document/Base.tex	Thu Jan 19 21:22:27 2006 +0100
+++ b/doc-src/TutorialI/CTL/document/Base.tex	Thu Jan 19 21:22:29 2006 +0100
@@ -97,7 +97,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 \isacommand{typedecl}\isamarkupfalse%
-\ atom%
+\ {\isachardoublequoteopen}atom{\isachardoublequoteclose}%
 \begin{isamarkuptext}%
 \noindent
 and a \emph{labelling function}%