# HG changeset patch
# User wenzelm
# Date 1164310422 -3600
# Node ID 8dab1e45c11f0447e0c7d76f5fcbbac0500270a5
# Parent  146938537ddc26d519e8e6c3de369a1b89493941
updated;

diff -r 146938537ddc -r 8dab1e45c11f doc-src/IsarImplementation/Thy/document/ML.tex
--- a/doc-src/IsarImplementation/Thy/document/ML.tex	Thu Nov 23 20:33:41 2006 +0100
+++ b/doc-src/IsarImplementation/Thy/document/ML.tex	Thu Nov 23 20:33:42 2006 +0100
@@ -24,6 +24,11 @@
 \isamarkuptrue%
 %
 \begin{isamarkuptext}%
+FIXME%
+\end{isamarkuptext}%
+\isamarkuptrue%
+%
+\begin{isamarkuptext}%
 This style guide is loosely based on
   \url{http://caml.inria.fr/resources/doc/guides/guidelines.en.html}.
 %  FIMXE \url{http://www.cs.cornell.edu/Courses/cs312/2003sp/handouts/style.htm}
@@ -104,7 +109,7 @@
       while keeping its length to the absolutely neccessary minimum.
       Always give the same name to function arguments which
       have the same meaning. Separate words by underscores
-      (``{\ttfamily int\_of\_string}'', not ``{\ttfamily intOfString}'')
+      (``\verb|int_of_string|'', not ``\verb|intOfString|'')
 
   \end{description}%
 \end{isamarkuptext}%