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/IsarImplementation/Thy/document/locale.tex
changeset 20477 e623b0e30541
parent 20451 27ea2ba48fa3
child 20520 05fd007bdeb9 
--- a/doc-src/IsarImplementation/Thy/document/locale.tex	Tue Sep 05 16:42:23 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/locale.tex	Tue Sep 05 16:42:32 2006 +0200
@@ -41,7 +41,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsection{Localized theory specifications%
+\isamarkupsection{Local theories%
 }
 \isamarkuptrue%
 %
isabelle