doc-src/IsarRef/refcard.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-08-17 wenzelm 2000-08-17 updated;
2000-08-14 wenzelm 2000-08-14 updated; tuned;
2000-07-23 wenzelm 2000-07-23 classical atts now intro! / intro / intro?;
2000-07-01 wenzelm 2000-07-01 removed "help";
2000-04-12 wenzelm 2000-04-12 added 'insert' method;
2000-03-30 wenzelm 2000-03-30 added 'moreover' and 'ultimately';
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-20 wenzelm 2000-03-20 tactic emulation;
2000-03-18 wenzelm 2000-03-18 obtain; help; intro_classes;
2000-03-17 wenzelm 2000-03-17 tuned; some more stuff;
2000-03-16 wenzelm 2000-03-16 Splitter support;
2000-03-14 wenzelm 2000-03-14 added 'case' command; added 'print_facts', 'print_binds', 'print_cases' commands; added 'cases' method; tuned;
2000-02-07 wenzelm 2000-02-07 intro/elim/dest attributes: changed ! / !! flags to ? / ??;
2000-02-05 wenzelm 2000-02-05 '.' == by this;
1999-10-31 wenzelm 1999-10-31 tuned;
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-29 wenzelm 1999-10-29 tuned;
1999-10-29 wenzelm 1999-10-29 improved;
1999-10-21 wenzelm 1999-10-21 *** empty log message ***