--- a/src/Pure/PIDE/isabelle_markup.ML Tue Aug 07 17:46:30 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.ML Tue Aug 07 19:16:58 2012 +0200
@@ -102,7 +102,6 @@
val no_reportN: string val no_report: Markup.T
val badN: string val bad: Markup.T
val functionN: string
- val ready: Properties.T
val assign_execs: Properties.T
val removed_versions: Properties.T
val invoke_scala: string -> string -> Properties.T
@@ -305,8 +304,6 @@
val functionN = "function"
-val ready = [(functionN, "ready")];
-
val assign_execs = [(functionN, "assign_execs")];
val removed_versions = [(functionN, "removed_versions")];