Admin/makedist
2000-09-25 wenzelm 2000-09-25 include "Isabelle" link;
2000-09-18 wenzelm 2000-09-18 include ANNOUNCE;
2000-09-14 wenzelm 2000-09-14 "Isabelle repository version";
2000-09-12 wenzelm 2000-09-12 tuned;
2000-09-11 wenzelm 2000-09-11 tuned;
2000-09-11 wenzelm 2000-09-11 improved WWW page generation (still somewhat experimental);
2000-09-06 wenzelm 2000-09-06 tuned;
2000-09-06 wenzelm 2000-09-06 tuned;
2000-09-05 wenzelm 2000-09-05 tuned;
2000-09-02 wenzelm 2000-09-02 provide "--" argument: tentative release; tuned;
2000-09-01 wenzelm 2000-09-01 cleanup dist sources afterwards; tmp version;
2000-06-07 wenzelm 2000-06-07 provide TAGS file for Isabelle sources;
2000-05-05 wenzelm 2000-05-05 removed index2;
1999-12-09 kleing 1999-12-09 new web pages integrated
1999-11-02 wenzelm 1999-11-02 tuned;
1999-10-13 wenzelm 1999-10-13 berghofe;
1999-10-07 wenzelm 1999-10-07 delete Tools;
1999-07-28 wenzelm 1999-07-28 mkdir contrib;
1999-07-09 wenzelm 1999-07-09 rmdir pdf;
1999-06-02 wenzelm 1999-06-02 find -print;
1999-05-28 wenzelm 1999-05-28 move pdfs back into dist;
1999-05-28 wenzelm 1999-05-28 separate archive for pdf docs;
1999-05-10 wenzelm 1999-05-10 make pdf;
1999-03-04 wenzelm 1999-03-04 fixed again;
1999-03-01 wenzelm 1999-03-01 fixed {ISABELLE};
1998-11-09 wenzelm 1998-11-09 Check release name and date in NEWS!
1998-10-25 wenzelm 1998-10-25 tuned checklist;
1998-10-22 wenzelm 1998-10-22 fixed index.html;
1998-10-22 wenzelm 1998-10-22 tuned;
1998-10-07 wenzelm 1998-10-07 tuned rm CVS;
1998-08-27 wenzelm 1998-08-27 eps logis;
1998-07-21 wenzelm 1998-07-21 fixed eps/ps find;
1998-07-21 wenzelm 1998-07-21 fixed CVSROOT;
1998-07-21 wenzelm 1998-07-21 library includes Isabelle version information;
1998-05-29 wenzelm 1998-05-29 tuned msgs;
1998-05-28 wenzelm 1998-05-28 tuned dist version;
1998-05-28 wenzelm 1998-05-28 README, Pure/ROOT.ML: version set automatically;
1998-01-09 wenzelm 1998-01-09 tuned;
1998-01-09 wenzelm 1998-01-09 automatic index.html patch;
1998-01-09 wenzelm 1998-01-09 tuned;
1998-01-08 wenzelm 1998-01-08 tuned;
1997-12-15 wenzelm 1997-12-15 tuned;
1997-11-06 wenzelm 1997-11-06 tuned;
1997-11-06 wenzelm 1997-11-06 tuned;
1997-11-05 wenzelm 1997-11-05 Tools/8bit: ./mk;
1997-09-23 wenzelm 1997-09-23 index.html obsolete;
1997-08-07 berghofe 1997-08-07 Added some commands for building theory browser.
1997-05-27 wenzelm 1997-05-27 fixed -P (checkout only);
1997-05-22 wenzelm 1997-05-22 fixed doc;
1997-05-21 wenzelm 1997-05-21 fixed find cmd;
1997-05-20 wenzelm 1997-05-20 README generation;
1997-05-14 wenzelm 1997-05-14 tuned comment;
1997-05-12 wenzelm 1997-05-12 improved doc stuff;
1997-05-02 wenzelm 1997-05-02 -P option (prune empty dirs);
1997-04-25 wenzelm 1997-04-25 removed -norc;
1997-04-17 wenzelm 1997-04-17 added fixencoding note;
1997-03-20 wenzelm 1997-03-20 remove empty dirs;
1997-03-17 wenzelm 1997-03-17 uncommented chown / chmod (again);
1997-03-07 wenzelm 1997-03-07 commented out chwon, chmod;
1997-02-27 wenzelm 1997-02-27 tuned comment;