changeset 31424 | d30a867a86fb |
parent 30669 | 6de7ef888aa3 |
child 31435 | d24ef3ff34bc |
--- a/src/Pure/General/position.ML Thu Jun 04 12:09:07 2009 +0200 +++ b/src/Pure/General/position.ML Thu Jun 04 17:31:37 2009 +0200 @@ -7,6 +7,7 @@ signature POSITION = sig type T + val value: string -> int -> Properties.T val line_of: T -> int option val column_of: T -> int option val offset_of: T -> int option