Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Locales/Locales/document/Examples.tex
changeset 46855 f72a2bedd7a9
parent 40406 313a24b66a8d 
--- a/doc-src/Locales/Locales/document/Examples.tex	Fri Mar 09 22:05:15 2012 +0100
+++ b/doc-src/Locales/Locales/document/Examples.tex	Sat Mar 10 16:49:34 2012 +0100
@@ -253,7 +253,8 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 \ \ \isacommand{context}\isamarkupfalse%
-\ partial{\isaliteral{5F}{\isacharunderscore}}order\ \isakeyword{begin}\isanewline
+\ partial{\isaliteral{5F}{\isacharunderscore}}order\isanewline
+\ \ \isakeyword{begin}\isanewline
 \isanewline
 \ \ \isacommand{definition}\isamarkupfalse%
 \isanewline
isabelle