changeset 46282 | 83864b045a72 |
parent 42705 | 528a2ba8fa74 |
child 47114 | 7c9e31ffcd9e |
--- a/doc-src/IsarRef/Thy/document/Outer_Syntax.tex Thu Feb 02 17:52:16 2012 +0100 +++ b/doc-src/IsarRef/Thy/document/Outer_Syntax.tex Thu Feb 02 18:11:42 2012 +0100 @@ -18,7 +18,7 @@ % \endisadelimtheory % -\isamarkupchapter{Outer syntax% +\isamarkupchapter{Outer syntax --- the theory language% } \isamarkuptrue% %