src/Pure/PIDE/markup.ML

   val simp_trace_stepN: string
   val simp_trace_recurseN: string
   val simp_trace_hintN: string
   val simp_trace_ignoreN: string
   val simp_trace_cancel: serial -> Properties.T
+  val code_presentationN: string
+  val stmt_nameN: string
   type output = Output.output * Output.output
   type ops = {output: T -> output}
   val no_output: output
   val add_mode: string -> ops -> unit
   val get_mode: unit -> ops

 val simp_trace_ignoreN = "simp_trace_ignore";
 
 fun simp_trace_cancel i = [function "simp_trace_cancel", (serialN, Value.print_int i)];
 
 
+(* code generator *)
+
+val code_presentationN = "code_presentation";
+val stmt_nameN = "stmt_name";
+
+
 
 (** print mode operations **)
 
 type output = Output.output * Output.output;