2008-06-06 wenzelm 2008-06-06 switched to Poly/ML 5.2;
2008-06-06 isatest 2008-06-06 doc test now runs on linux
2008-06-05 wenzelm 2008-06-05 added at-poly-5.1-para-e;
2008-06-05 haftmann 2008-06-05 adjusted location of cambridge website
2008-06-05 isatest 2008-06-05 switch from gtar to tar
2008-06-05 isatest 2008-06-05 send from linux systems as well
2008-06-04 wenzelm 2008-06-04 tikz: change to pgfsys-dvi.def for plain dvi output;
2008-06-04 wenzelm 2008-06-04 replaced (*<*)(*>*) by invisibility tags;
2008-06-04 wenzelm 2008-06-04 updated generated file;
2008-06-04 wenzelm 2008-06-04 updated generated file;
2008-06-04 wenzelm 2008-06-04 work within *this* directory;
2008-06-04 wenzelm 2008-06-04 moved labels into actual sections;
2008-06-04 wenzelm 2008-06-04 removed TEXPATH, just chdir to Locales/document;
2008-06-04 wenzelm 2008-06-04 renamed expression: plain ~ (space) instead of \colon;
2008-06-04 wenzelm 2008-06-04 updated generated file;
2008-06-04 wenzelm 2008-06-04 replaced strange \: by \colon to make it work again on macbroy20-29;
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-03 wenzelm 2008-06-03 clarification of "subst" by Lucas Dixon;
2008-06-03 wenzelm 2008-06-03 use polyml-5.2;
2008-06-03 wenzelm 2008-06-03 updated to official 5.2;
2008-06-03 wenzelm 2008-06-03 use isabelle style files from Doc/ -- not the generated ones (which are not present in the repository anyway);
2008-06-03 wenzelm 2008-06-03 some reorganization and fine-tuning;
2008-06-03 wenzelm 2008-06-03 some fine-tuning;
2008-06-03 wenzelm 2008-06-03 CodeTarget.target_code_width;
2008-06-03 ballarin 2008-06-03 Tuned proof.
2008-06-03 ballarin 2008-06-03 New version covering interpretation.
2008-06-03 wenzelm 2008-06-03 proper path to isabelle.jar;
2008-06-03 wenzelm 2008-06-03 reorganized isar-ref;
2008-06-03 wenzelm 2008-06-03 added Wenzel:2006:Festschrift;
2008-06-03 wenzelm 2008-06-03 class_deps: improper;
2008-06-03 wenzelm 2008-06-03 \cite{Wenzel:2006:Festschrift};
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-03 wenzelm 2008-06-03 moved stuff from pure.thy to Misc.thy;
2008-06-03 wenzelm 2008-06-03 obsolete;
2008-06-03 wenzelm 2008-06-03 updated generated file;
2008-06-03 wenzelm 2008-06-03 tuned;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 moved header command to Document_Preparation;
2008-06-02 wenzelm 2008-06-02 tuned structure;
2008-06-02 wenzelm 2008-06-02 moved header command here;
2008-06-02 wenzelm 2008-06-02 removed onsolete pure.thy (cf. Misc.thy);
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated ML types for advanced translations;
2008-06-02 wenzelm 2008-06-02 moved (ax_)specification to end;
2008-06-02 wenzelm 2008-06-02 moved subst/hypsubst to "Basic proof tools"; tuned;
2008-06-02 wenzelm 2008-06-02 added Document_Preparation;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-06-02 wenzelm 2008-06-02 tuned spacing;
2008-06-02 wenzelm 2008-06-02 major reorganization of document structure;
2008-06-02 wenzelm 2008-06-02 removed obsolete basics.tex;
2008-06-02 wenzelm 2008-06-02 more contributors; removed obsolete basics.tex; added Document_Preparation.tex;
2008-06-02 wenzelm 2008-06-02 renamed theory "syntax" to "Outer_Syntax";
2008-06-02 wenzelm 2008-06-02 isatool tty;
2008-06-02 wenzelm 2008-06-02 renamed theory "intro" to "Introduction";
2008-06-02 nipkow 2008-06-02 tuned proofs
2008-06-01 dixon 2008-06-01 fixed bug: maxidx was wrongly calculuated from term, now calculated from theorem correctly.
2008-06-01 urbanc 2008-06-01 new example
2008-05-31 wenzelm 2008-05-31 updated to E 0.999-006;
2008-05-30 wenzelm 2008-05-30 THIS_IS_ISABELLE_MAKEBIN is back;
2008-05-30 wenzelm 2008-05-30 cvs2cl only for unofficial releases;