--- a/src/Pure/PIDE/markup.ML Sat Apr 19 19:03:32 2014 +0200
+++ b/src/Pure/PIDE/markup.ML Sat Apr 19 19:52:02 2014 +0200
@@ -178,7 +178,6 @@
val protocol_handler: string -> Properties.T
val invoke_scala: string -> string -> Properties.T
val cancel_scala: string -> Properties.T
- val sledgehammer_provers: Properties.T
val ML_statistics: Properties.entry
val task_statistics: Properties.entry
val command_timing: Properties.entry
@@ -568,8 +567,6 @@
fun invoke_scala name id = [(functionN, "invoke_scala"), (nameN, name), (idN, id)];
fun cancel_scala id = [(functionN, "cancel_scala"), (idN, id)];
-val sledgehammer_provers = [(functionN, "sledgehammer_provers")];
-
val ML_statistics = (functionN, "ML_statistics");
val task_statistics = (functionN, "task_statistics");