Add widthN to signature
authoraspinall
Tue Jul 10 15:45:34 2007 +0200 (2007-07-10)
changeset 236956c4662bb4862
parent 23694 431782022495
child 23696 ff97a943681e
Add widthN to signature
src/Pure/General/markup.ML
     1.1 --- a/src/Pure/General/markup.ML	Tue Jul 10 13:12:53 2007 +0200
     1.2 +++ b/src/Pure/General/markup.ML	Tue Jul 10 15:45:34 2007 +0200
     1.3 @@ -17,6 +17,7 @@
     1.4    val fileN: string
     1.5    val positionN: string val position: T
     1.6    val indentN: string
     1.7 +  val widthN: string
     1.8    val blockN: string val block: int -> T
     1.9    val breakN: string val break: int -> T
    1.10    val fbreakN: string val fbreak: T