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.
removed load;
authorwenzelm
Wed, 03 Feb 1999 16:48:02 +0100
changeset 6193 451d3d6c088f
parent 6192 a42dbf1af868
child 6194 358f62acf573
removed load;
src/Pure/Isar/isar.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar.ML	Wed Feb 03 16:47:37 1999 +0100
+++ b/src/Pure/Isar/isar.ML	Wed Feb 03 16:48:02 1999 +0100
@@ -11,7 +11,6 @@
   val main: unit -> unit
   val loop: unit -> unit
   val help: unit -> unit
-  val load: string -> unit
   val commands: unit -> string list
   val add_keywords: string list -> unit
   val add_parsers: parser list -> unit
@@ -24,7 +23,6 @@
 val main = OuterSyntax.main;
 val loop = OuterSyntax.loop;
 val help = OuterSyntax.help;
-val load = OuterSyntax.load;
 val commands = OuterSyntax.commands;
 val add_keywords = OuterSyntax.add_keywords;
 val add_parsers = OuterSyntax.add_parsers;
isabelle