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;
1999-05-06 wenzelm 1999-05-06 *** empty log message ***
1999-05-06 wenzelm 1999-05-06 pdf setup;
1999-05-06 wenzelm 1999-05-06 tuned;
1999-05-06 nipkow 1999-05-06 More refs.
1999-05-06 nipkow 1999-05-06 Refs.
1999-05-06 nipkow 1999-05-06 New title page.
1999-05-05 wenzelm 1999-05-05 tuned;
1999-05-05 wenzelm 1999-05-05 manual.bib;
1999-05-05 wenzelm 1999-05-05 no rail;
1999-05-05 wenzelm 1999-05-05 fixed FILES;
1999-05-05 wenzelm 1999-05-05 improved Makefile;
1999-05-05 wenzelm 1999-05-05 improved Makefile;
1999-05-05 wenzelm 1999-05-05 isabelle.eps;
1999-05-05 wenzelm 1999-05-05 improved Makefile; no rail;
1999-05-05 wenzelm 1999-05-05 tuned;
1999-05-05 wenzelm 1999-05-05 improved Makefile;
1999-05-05 wenzelm 1999-05-05 *** empty log message ***
1999-05-05 wenzelm 1999-05-05 Common part for Doc Makefiles;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-05-05 wenzelm 1999-05-05 tuned rpm file names;
1999-05-05 wenzelm 1999-05-05 updated docs;
1999-05-05 nipkow 1999-05-05 Bibtex database for documentation.
1999-05-05 nipkow 1999-05-05 Bibtex stuff.
1999-05-04 wenzelm 1999-05-04 *** empty log message ***