1999-05-18 paulson 1999-05-18 added Locale paper
1999-05-18 paulson 1999-05-18 locale documentation (from Florian)
1999-05-18 paulson 1999-05-18 ../manual.bib a new dependency
1999-05-17 wenzelm 1999-05-17 cleaned comments;
1999-05-17 wenzelm 1999-05-17 cleaned comments; ThyInfo.finalize_all renamed to ThyInfo.finish; added remove_thy;
1999-05-17 wenzelm 1999-05-17 tuned;
1999-05-17 wenzelm 1999-05-17 cleaned comments; node_cases renamed to node_case; more robust rollback of transactions via backup;
1999-05-17 wenzelm 1999-05-17 ThyInfo.finalize_all renamed to ThyInfo.finish;
1999-05-17 wenzelm 1999-05-17 node_cases renamed to node_case;
1999-05-17 wenzelm 1999-05-17 prep_ext exported (again);
1999-05-17 wenzelm 1999-05-17 backup operation replaces transaction;
1999-05-17 wenzelm 1999-05-17 removed get_nodes; added keys; all_preds / all_succs: topological order; added del_nodes;
1999-05-17 wenzelm 1999-05-17 remove_thy;
1999-05-17 wenzelm 1999-05-17 tuned arrows;
1999-05-17 berghofe 1999-05-17 Arrows are no longer needed because of redesign of the html pages.
1999-05-17 berghofe 1999-05-17 Changed some file names.
1999-05-17 berghofe 1999-05-17 Added function get_preds.
1999-05-17 berghofe 1999-05-17 Added setup for BrowserInfo.
1999-05-17 berghofe 1999-05-17 usedir now recognizes additional option -P which is used to tell the presentation module where to find *.html files of theories.
1999-05-17 berghofe 1999-05-17 Changed interface of function use_dir.
1999-05-17 berghofe 1999-05-17 Present.begin_theory now needs an additional argument of type theory to store information about session identifiers.
1999-05-17 berghofe 1999-05-17 Reimplemented graph generator.
1999-05-17 berghofe 1999-05-17 Added some code to enable browser to display remote documents.
1999-05-17 paulson 1999-05-17 new thm extend_JN; renamed extend_leadsto
1999-05-17 paulson 1999-05-17 "component" now an infix
1999-05-17 paulson 1999-05-17 indentation
1999-05-15 wenzelm 1999-05-15 tuned;
1999-05-12 wenzelm 1999-05-12 ad-hoc fix for bold indexes;
1999-05-12 wenzelm 1999-05-12 strip_quotes replaced by unenclose;
1999-05-12 wenzelm 1999-05-12 rearranged some modules;
1999-05-12 wenzelm 1999-05-12 rearranged order of modules;
1999-05-12 wenzelm 1999-05-12 Basic URLs.
1999-05-12 wenzelm 1999-05-12 added url.ML;
1999-05-12 wenzelm 1999-05-12 pdf setup;
1999-05-12 wenzelm 1999-05-12 tuned;
1999-05-11 wenzelm 1999-05-11 fixed msg;
1999-05-11 wenzelm 1999-05-11 moved scan.ML;
1999-05-11 paulson 1999-05-11 new comments, variable renaming, etc
1999-05-11 paulson 1999-05-11 tidied
1999-05-11 paulson 1999-05-11 changes for new manual.bib
1999-05-10 wenzelm 1999-05-10 make pdf;
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-10 wenzelm 1999-05-10 cite HOLCF;
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 axclass;
1999-05-10 wenzelm 1999-05-10 axclass; datatype;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-10 wenzelm 1999-05-10 *** empty log message ***
1999-05-10 wenzelm 1999-05-10 *** empty log message ***
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-10 wenzelm 1999-05-10 fixed URLs;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-07 wenzelm 1999-05-07 replaced png by pdf;
1999-05-07 wenzelm 1999-05-07 pdf pics;
1999-05-07 paulson 1999-05-07 tidied
1999-05-07 paulson 1999-05-07 tidied
1999-05-07 paulson 1999-05-07 new refererences for Inductive manual, but still incomplete
1999-05-06 wenzelm 1999-05-06 tuned;
1999-05-06 wenzelm 1999-05-06 pdf setup;