--- a/src/Pure/PIDE/markup.scala	Mon May 05 11:53:07 2014 +0200
+++ b/src/Pure/PIDE/markup.scala	Mon May 05 15:17:07 2014 +0200
@@ -459,6 +459,8 @@
       }
   }
 
+  val PRINT_OPERATIONS = "print_operations"
+
 
   /* simplifier trace */
changeset 56864	0446c7ac2e32
parent 56843	b2bfcd8cda80
child 57594	037f3b251df5