src/Pure/context_position.ML

 signature CONTEXT_POSITION =
 sig
   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 =
 struct
 

 );
 
 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;