# HG changeset patch
# User aspinall
# Date 1184075134 -7200
# Node ID 6c4662bb4862ca64b5e7561c2dd895e886f042f0
# Parent  431782022495d22b630a7a0d320e62e3bfa4fa88
Add widthN to signature

diff -r 431782022495 -r 6c4662bb4862 src/Pure/General/markup.ML
--- a/src/Pure/General/markup.ML	Tue Jul 10 13:12:53 2007 +0200
+++ b/src/Pure/General/markup.ML	Tue Jul 10 15:45:34 2007 +0200
@@ -17,6 +17,7 @@
   val fileN: string
   val positionN: string val position: T
   val indentN: string
+  val widthN: string
   val blockN: string val block: int -> T
   val breakN: string val break: int -> T
   val fbreakN: string val fbreak: T