2012-08-29 ago wenzelm tuned signature;
2012-08-29 ago wenzelm renamed Position.str_of to Position.here;
2012-08-29 ago wenzelm init components from local clone that is used to produce the test distribition, which itself lacks Admin;
2012-08-28 ago wenzelm discontinued centralistic changelog;
2012-08-28 ago wenzelm discontinued odd copy of eps logos (cf. 8fc3828fdc8a);
2012-08-28 ago wenzelm prefer cp over mv, to reduce assumptions about file-system boundaries and GNU vs. non-GNU tools;
2012-08-28 ago wenzelm removed odd left-over file;
2012-08-28 ago wenzelm update on "isabelle build" and "isabelle build_doc";
2012-08-28 ago wenzelm renamed doc-src to src/Doc;
2012-08-28 ago wenzelm do not hardwire document output options -- to be provided by the user;
2012-08-28 ago wenzelm more permanent update of keywords (cf. 3517d6f50b12);
2012-08-28 ago wenzelm merged
2012-08-28 ago blanchet updated keywords
2012-08-28 ago blanchet fixed import paths in examples
2012-08-28 ago blanchet fixed import paths
2012-08-28 ago blanchet tuning
2012-08-28 ago blanchet updated NEWS and CONTRIBUTORS
2012-08-28 ago blanchet documentation cleanup
2012-08-28 ago blanchet added new (co)datatype package + theories of ordinals and cardinals (with Dmitriy and Andrei)
2012-08-28 ago webertj Typo fixed.
2012-08-28 ago wenzelm updated .hgignore to reflect to (almost) clean result of build_doc;
2012-08-28 ago wenzelm more formal build_doc tool (Admin only);
2012-08-28 ago wenzelm prepare document more uniformly;
2012-08-28 ago wenzelm prefer \input which actually checks file existence;
2012-08-28 ago wenzelm tuned;
2012-08-28 ago wenzelm prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012;
2012-08-28 ago wenzelm removed old stuff;
2012-08-28 ago wenzelm more standard document preparation within session context: avoid clashes with generated .tex files, even on case-insensible file-system;
2012-08-28 ago wenzelm removed old stuff;
2012-08-28 ago wenzelm removed historic manual;
2012-08-28 ago wenzelm more standard document preparation within session context;
2012-08-28 ago wenzelm more standard document preparation within session context;
2012-08-28 ago wenzelm updated IsarRef/document/style.sty;
2012-08-28 ago wenzelm missing file;
2012-08-28 ago wenzelm removed junk;
2012-08-28 ago wenzelm more standard document preparation within session context;
2012-08-28 ago wenzelm removed outdated IsarRef/Thy/HOLCF_Specific.thy -- make IsarRef depend on HOL only;
2012-08-28 ago wenzelm prefer doc-src/pdfsetup.sty;
2012-08-27 ago wenzelm more official way to set margin;
2012-08-27 ago wenzelm avoid clash with generated Adaptation.tex on case-insensible file-systems;
2012-08-27 ago wenzelm missing file;
2012-08-27 ago wenzelm deactivate updated doc-src sessions, to make Admin/build doc and makedist work for now;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more portable perl invocation;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm more standard document preparation within session context;
2012-08-27 ago wenzelm clarified "isabelle logo";
2012-08-27 ago wenzelm clarified document directories: browser_info as backdrop vs. optional output directory in the foreground;
2012-08-27 ago wenzelm less ambitious test -- terminate more quickly;