1999-10-08 wenzelm 1999-10-08 old_header: proper error message;
1999-10-08 wenzelm 1999-10-08 tuned presentation;
1999-10-08 wenzelm 1999-10-08 update from Gertrud;
1999-10-08 wenzelm 1999-10-08 tuned;
1999-10-08 wenzelm 1999-10-08 url;
1999-10-08 wenzelm 1999-10-08 theorem database now also indexes constants "Trueprop", "all", "==>", "=="; thus thms_containing, findI etc. may retrieve more rules;
1999-10-08 wenzelm 1999-10-08 improved;
1999-10-08 wenzelm 1999-10-08 removed generated index.html;
1999-10-08 wenzelm 1999-10-08 isatool_document;
1999-10-08 wenzelm 1999-10-08 make: tuned usage;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-08 wenzelm 1999-10-08 include document;
1999-10-08 wenzelm 1999-10-08 return stored thms with proper naming in derivation;
1999-10-08 wenzelm 1999-10-08 improved special chars;
1999-10-08 wenzelm 1999-10-08 removed -c option;
1999-10-08 wenzelm 1999-10-08 tuned usage;
1999-10-08 wenzelm 1999-10-08 pass RC;
1999-10-08 wenzelm 1999-10-08 prepare theory session document;
1999-10-08 wenzelm 1999-10-08 *** empty log message ***
1999-10-08 wenzelm 1999-10-08 tuned;
1999-10-07 wenzelm 1999-10-07 cd: quiet;
1999-10-07 wenzelm 1999-10-07 verbatim markup tokens;
1999-10-07 wenzelm 1999-10-07 removed verbatim markups;
1999-10-07 wenzelm 1999-10-07 unset ISABELLE_SETTINGS_PRESENT;
1999-10-07 berghofe 1999-10-07 Replaced update_new by update.
1999-10-07 berghofe 1999-10-07 Added functions for enabling and disabling derivations.
1999-10-07 wenzelm 1999-10-07 read_idents;
1999-10-07 wenzelm 1999-10-07 $ISATOOL;
1999-10-07 wenzelm 1999-10-07 unset ISABELLE_SETTINGS_PRESENT;
1999-10-07 wenzelm 1999-10-07 delete Tools;
1999-10-07 berghofe 1999-10-07 Documented changes to HOL/inductive and function thm_deps.
1999-10-07 berghofe 1999-10-07 Added file Thy/thm_deps.ML
1999-10-07 wenzelm 1999-10-07 obsolete;
1999-10-07 wenzelm 1999-10-07 tuned dirname;
1999-10-07 wenzelm 1999-10-07 removed TeX environment hacking;
1999-10-07 wenzelm 1999-10-07 verbatim / verb markupup commands;
1999-10-07 wenzelm 1999-10-07 Present.token_source after load (better errors!?);
1999-10-07 wenzelm 1999-10-07 Document preparation setup;
1999-10-07 wenzelm 1999-10-07 Isabelle wrapper for LaTeX (and friends);
1999-10-07 wenzelm 1999-10-07 verbatim: no markup;
1999-10-07 wenzelm 1999-10-07 ISABELLE_SETTINGS_PRESENT: avoid multiple invocation;
1999-10-07 wenzelm 1999-10-07 tex_source: Buffer.write;
1999-10-07 wenzelm 1999-10-07 present source *before* theory load;
1999-10-07 wenzelm 1999-10-07 removed write_nonempty;
1999-10-07 berghofe 1999-10-07 New option -d for deleting file after use.
1999-10-07 berghofe 1999-10-07 New function thm_deps for visualizing dependencies of theorems.
1999-10-07 berghofe 1999-10-07 Added file thm_deps.
1999-10-07 berghofe 1999-10-07 Exported function get_info.
1999-10-06 wenzelm 1999-10-06 ISABELLE_USEDIR_OPTIONS: -d pdf option (off by default);
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-10-06 wenzelm 1999-10-06 Isar_examples/W_correct;
1999-10-06 wenzelm 1999-10-06 tuned presentation;
1999-10-06 wenzelm 1999-10-06 tuned markup commands;
1999-10-06 wenzelm 1999-10-06 Latex.token;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-10-06 wenzelm 1999-10-06 improved present_token;
1999-10-06 wenzelm 1999-10-06 added write_nonempty;
1999-10-06 wenzelm 1999-10-06 fixed naming of single axioms;
1999-10-06 wenzelm 1999-10-06 accomodate markup commands;
1999-10-06 wenzelm 1999-10-06 tuned comment;