doc-src/IsarRef/style.sty
2011-05-03 wenzelm 2011-05-03 use existing \<hyphen>;
2011-05-03 wenzelm 2011-05-03 simplified rail configuration;
2011-05-03 wenzelm 2011-05-03 sane paragraph layout;
2011-05-03 wenzelm 2011-05-03 tag ML as in IsarImplementation;
2011-05-02 wenzelm 2011-05-02 proper treatment of underscore in rail diagrams;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-26 wenzelm 2009-02-26 uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities; more robust handling of "|" within index;
2009-02-12 wenzelm 2009-02-12 improved sorry/noproof markup;
2009-02-11 wenzelm 2009-02-11 some more macros;
2008-11-13 wenzelm 2008-11-13 added pretty printing options (from old ref manual);
2008-11-13 wenzelm 2008-11-13 unified use of declaration environment with IsarImplementation; tuned ML decls;
2008-11-13 wenzelm 2008-11-13 added bind_thm, bind_thms;
2008-05-09 wenzelm 2008-05-09 removed obsolete macros for Isar commands etc.; tuned;
2008-05-08 wenzelm 2008-05-08 removed obsolete macros; tuned;
2008-05-03 wenzelm 2008-05-03 added \isasymdash;
2008-05-02 wenzelm 2008-05-02 use underscore for underscore;
2008-05-02 wenzelm 2008-05-02 converted pure.tex to Thy/pure.thy;
2008-04-29 wenzelm 2008-04-29 more ref macros;
2008-04-22 wenzelm 2008-04-22 basic setup for generated document (cf. ../IsarImplementation);