Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated documentation files (cf. c14fda8fee38)
authorbulwahn
Wed, 28 Mar 2012 14:54:33 +0200
changeset 47186 9756bcb88829
parent 47185 300fa46fd081
child 47188 da9a2d9e1143
updated documentation files (cf. c14fda8fee38)
doc-src/IsarImplementation/Thy/document/ML.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarImplementation/Thy/document/ML.tex	Wed Mar 28 13:53:30 2012 +0200
+++ b/doc-src/IsarImplementation/Thy/document/ML.tex	Wed Mar 28 14:54:33 2012 +0200
@@ -148,7 +148,7 @@
 
   For historical reasons, many capitalized names omit underscores,
   e.g.\ old-style \verb|FooBar| instead of \verb|Foo_Bar|.
-  Genuine mixed-case names are \emph{not} used, bacause clear division
+  Genuine mixed-case names are \emph{not} used, because clear division
   of words is essential for readability.\footnote{Camel-case was
   invented to workaround the lack of underscore in some early
   non-ASCII character sets.  Later it became habitual in some language
@@ -2403,6 +2403,7 @@
 \isadelimtheory
 %
 \endisadelimtheory
+\isanewline
 \end{isabellebody}%
 %%% Local Variables:
 %%% mode: latex
isabelle