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.
src/Pure/General/markup.scala
changeset 38724 d1feec02cf02
parent 38722 ba31936497c2
child 38871 28496da3bec2 
--- a/src/Pure/General/markup.scala	Wed Aug 25 22:45:24 2010 +0200
+++ b/src/Pure/General/markup.scala	Wed Aug 25 22:57:40 2010 +0200
@@ -94,9 +94,9 @@
 
   /* pretty printing */
 
-  val INDENT = "indent"
+  val Indent = new Int_Property("indent")
   val BLOCK = "block"
-  val WIDTH = "width"
+  val Width = new Int_Property("width")
   val BREAK = "break"
isabelle