--- 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}%