Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ProofGeneral/proof_general_emacs.ML
changeset 21984 7b9c2f6b45f5
parent 21970 1845e43aee93
child 21986 76d3d258cfa3
equal deleted inserted replaced
21983:9fb029d1189b 21984:7b9c2f6b45f5 
   107   priority_fn := (fn s => decorate (special "360") (special "361") "" s);
 
   107   priority_fn := (fn s => decorate (special "360") (special "361") "" s);
 
   108   tracing_fn := (fn s => decorate (special "360" ^ special "375") (special "361") "" s);
 
   108   tracing_fn := (fn s => decorate (special "360" ^ special "375") (special "361") "" s);
 
   109   info_fn := (fn s => decorate (special "362") (special "363") "+++ " s);
 
   109   info_fn := (fn s => decorate (special "362") (special "363") "+++ " s);
 
   110   debug_fn := (fn s => decorate (special "362") (special "363") "+++ " s);
 
   110   debug_fn := (fn s => decorate (special "362") (special "363") "+++ " s);
 
   111   warning_fn := (fn s => decorate (special "362") (special "363") "### " s);
 
   111   warning_fn := (fn s => decorate (special "362") (special "363") "### " s);
 
   112   error_fn := (fn s => decorate (special "364") (special "365") "*** " s);
 
   112   error_fn := (fn s => decorate "" "" "" s);
 
       
   113   Toplevel.print_exn_fn := (Option.app (decorate (special "364") (special "365") "*** ") o Toplevel.print_exn_str);
 
   113   panic_fn := (fn s => decorate (special "364") (special "365") "!!! " s));
 
   114   panic_fn := (fn s => decorate (special "364") (special "365") "!!! " s));
 
   114 
   115 
   115 
   116 
   116 fun emacs_notify s = decorate (special "360") (special "361") "" s;
 
   117 fun emacs_notify s = decorate (special "360") (special "361") "" s;
 
   117 
   118
isabelle