Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
export eval_antiquote;
authorwenzelm
Mon, 25 Feb 2002 20:50:10 +0100
changeset 12939 279a3cf23a98
parent 12938 a646d0467d81
child 12940 26c0566adf62
export eval_antiquote;
src/Pure/Isar/isar_output.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_output.ML	Mon Feb 25 20:49:05 2002 +0100
+++ b/src/Pure/Isar/isar_output.ML	Mon Feb 25 20:50:10 2002 +0100
@@ -18,6 +18,7 @@
   datatype markup = Markup | MarkupEnv | Verbatim
   val interest_level: int ref
   val modes: string list ref
+  val eval_antiquote: Scan.lexicon -> Toplevel.state -> string * Position.T -> string
   val parse_thy: (markup -> OuterLex.token list -> OuterLex.token * OuterLex.token list) ->
     Scan.lexicon -> Toplevel.transition list -> (OuterLex.token, 'a) Source.source ->
       (Toplevel.transition * (Toplevel.state -> Buffer.T -> Buffer.T)) list * Buffer.T
isabelle