src/Pure/PIDE/markup.scala
changeset 56864 0446c7ac2e32
parent 56843 b2bfcd8cda80
child 57597 037f3b251df5
     1.1 --- a/src/Pure/PIDE/markup.scala	Mon May 05 11:53:07 2014 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Mon May 05 15:17:07 2014 +0200
     1.3 @@ -459,6 +459,8 @@
     1.4        }
     1.5    }
     1.6  
     1.7 +  val PRINT_OPERATIONS = "print_operations"
     1.8 +
     1.9  
    1.10    /* simplifier trace */
    1.11