--- a/src/Pure/PIDE/isabelle_markup.ML Tue Aug 07 16:34:15 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.ML Tue Aug 07 17:08:22 2012 +0200
@@ -103,7 +103,6 @@
val badN: string val bad: Markup.T
val functionN: string
val ready: Properties.T
- val loaded_theory: string -> Properties.T
val assign_execs: Properties.T
val removed_versions: Properties.T
val invoke_scala: string -> string -> Properties.T
@@ -308,8 +307,6 @@
val ready = [(functionN, "ready")];
-fun loaded_theory name = [(functionN, "loaded_theory"), (Markup.nameN, name)];
-
val assign_execs = [(functionN, "assign_execs")];
val removed_versions = [(functionN, "removed_versions")];