--- a/src/Pure/PIDE/markup.ML Sat Aug 17 22:08:21 2013 +0200
+++ b/src/Pure/PIDE/markup.ML Sat Aug 17 22:15:45 2013 +0200
@@ -150,6 +150,7 @@
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
@@ -480,6 +481,8 @@
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");