src/Pure/PIDE/markup.ML
changeset 57594 037f3b251df5
parent 56864 0446c7ac2e32
child 57975 c657c68a60ab
equal deleted inserted replaced
57593:2f7d91242b99 57594:037f3b251df5
   183   val loading_theory: string -> Properties.T
   183   val loading_theory: string -> Properties.T
   184   val dest_loading_theory: Properties.T -> string option
   184   val dest_loading_theory: Properties.T -> string option
   185   val use_theories_result: string -> bool -> Properties.T
   185   val use_theories_result: string -> bool -> Properties.T
   186   val print_operationsN: string
   186   val print_operationsN: string
   187   val print_operations: Properties.T
   187   val print_operations: Properties.T
       
   188   val simp_trace_panelN: string
   188   val simp_trace_logN: string
   189   val simp_trace_logN: string
   189   val simp_trace_stepN: string
   190   val simp_trace_stepN: string
   190   val simp_trace_recurseN: string
   191   val simp_trace_recurseN: string
   191   val simp_trace_hintN: string
   192   val simp_trace_hintN: string
   192   val simp_trace_ignoreN: string
   193   val simp_trace_ignoreN: string
   584 val print_operations = [(functionN, print_operationsN)];
   585 val print_operations = [(functionN, print_operationsN)];
   585 
   586 
   586 
   587 
   587 (* simplifier trace *)
   588 (* simplifier trace *)
   588 
   589 
       
   590 val simp_trace_panelN = "simp_trace_panel";
       
   591 
   589 val simp_trace_logN = "simp_trace_log";
   592 val simp_trace_logN = "simp_trace_log";
   590 val simp_trace_stepN = "simp_trace_step";
   593 val simp_trace_stepN = "simp_trace_step";
   591 val simp_trace_recurseN = "simp_trace_recurse";
   594 val simp_trace_recurseN = "simp_trace_recurse";
   592 val simp_trace_hintN = "simp_trace_hint";
   595 val simp_trace_hintN = "simp_trace_hint";
   593 val simp_trace_ignoreN = "simp_trace_ignore";
   596 val simp_trace_ignoreN = "simp_trace_ignore";