--- a/doc-src/Locales/Examples.thy Mon Aug 27 23:29:45 2012 +0200
+++ b/doc-src/Locales/Examples.thy Mon Aug 27 23:37:16 2012 +0200
@@ -2,8 +2,6 @@
imports Main
begin
-pretty_setmargin %invisible 65
-
(*
text {* The following presentation will use notation of
Isabelle's meta logic, hence a few sentences to explain this.
--- a/doc-src/ROOT Mon Aug 27 23:29:45 2012 +0200
+++ b/doc-src/ROOT Mon Aug 27 23:37:16 2012 +0200
@@ -123,7 +123,7 @@
"document/root.tex"
session Locales (doc) in "Locales" = HOL +
- options [document_variants = "locales"]
+ options [document_variants = "locales", pretty_margin = 65]
theories
Examples1
Examples2