src/Doc/ROOT

     "mathpartir.sty"
     "root.bib"
     "root.tex"
 
 session Locales (doc) in "Locales" = HOL +
-  options [document_variants = "locales", pretty_margin = 65, skip_proofs = false]
+  options [document_variants = "locales", thy_output_margin = 65, skip_proofs = false]
   theories
     Examples1
     Examples2
     Examples3
   document_files (in "..")

   theories
     "Protocol/NS_Public"
     "Documents/Documents"
   theories [document = ""]
     "Types/Setup"
-  theories [pretty_margin = 64, thy_output_indent = 0]
+  theories [thy_output_margin = 64, thy_output_indent = 0]
     "Types/Numbers"
     "Types/Pairs"
     "Types/Records"
     "Types/Typedefs"
     "Types/Overloading"
     "Types/Axioms"
     "Rules/Basic"
     "Rules/Blast"
     "Rules/Force"
-  theories [pretty_margin = 64, thy_output_indent = 5]
+  theories [thy_output_margin = 64, thy_output_indent = 5]
     "Rules/TPrimes"
     "Rules/Forward"
     "Rules/Tacticals"
     "Rules/find2"
     "Sets/Examples"