Admin/makedist
2005-06-20 wenzelm 2005-06-20 exclude pghead.pdf from doc;
2005-06-09 haftmann 2005-06-09 added CONTRIBUTORS
2005-06-06 haftmann 2005-06-06 migrated scripts to new webiste
2005-06-05 wenzelm 2005-06-05 find empty dirs up to depth 5; tuned move of generated doc files; rm -f TODO;
2005-06-01 haftmann 2005-06-01 concl antiqutations
2005-05-29 kleing 2005-05-29 make COPYRIGHT file available for web page
2005-01-13 berghofe 2005-01-13 Added ChangeLog
2003-02-03 berghofe 2003-02-03 Fill in version information in lib/Tools/version.
2002-06-20 kleing 2002-06-20 fail more gracefully, return proper exit codes, allow preset DISTPREFIX
2002-04-30 kleing 2002-04-30 physical location of isabelle repository is now sunbroy2
2002-03-08 wenzelm 2002-03-08 tuned;
2002-02-28 wenzelm 2002-02-28 delete .cvsignore;
2002-01-11 wenzelm 2002-01-11 #!/usr/bin/env bash;
2001-10-29 wenzelm 2001-10-29 tuned;
2001-07-02 wenzelm 2001-07-02 do *not* ./configure;
2001-02-05 wenzelm 2001-02-05 tuned;
2001-01-18 wenzelm 2001-01-18 generate index.html for pdf docs;
2000-11-28 wenzelm 2000-11-28 fixed hostname;
2000-11-28 wenzelm 2000-11-28 detect CVSROOT;
2000-10-08 wenzelm 2000-10-08 tuned;
2000-09-28 wenzelm 2000-09-28 tuned;
2000-09-27 wenzelm 2000-09-27 tuned;
2000-09-26 wenzelm 2000-09-26 tuned;
2000-09-26 wenzelm 2000-09-26 tuned;
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;