--- a/src/Pure/Thy/thy_output.ML Fri Mar 13 21:24:21 2009 +0100
+++ b/src/Pure/Thy/thy_output.ML Fri Mar 13 21:25:15 2009 +0100
@@ -18,8 +18,7 @@
val print_antiquotations: unit -> unit
val boolean: string -> bool
val integer: string -> int
- val antiquotation: string ->
- (Context.generic * Args.T list -> 'a * (Context.generic * Args.T list)) ->
+ val antiquotation: string -> 'a context_parser ->
({state: Toplevel.state, source: Args.src, context: Proof.context} -> 'a -> string) -> unit
datatype markup = Markup | MarkupEnv | Verbatim
val modes: string list ref