--- a/src/Pure/context_position.ML Sun Sep 30 16:20:34 2007 +0200
+++ b/src/Pure/context_position.ML Sun Sep 30 16:20:35 2007 +0200
@@ -10,6 +10,7 @@
val put: Position.T -> Proof.context -> Proof.context
val get: Proof.context -> Position.T
val str_of: Proof.context -> string
+ val properties_of: Proof.context -> Markup.property list
end;
structure ContextPosition: CONTEXT_POSITION =
@@ -24,5 +25,6 @@
val put = Data.put;
val get = Data.get;
val str_of = Position.str_of o get;
+val properties_of = Position.properties_of o get;
end;