Admin/makedist
2010-06-21 ago back to post-release mode;
2010-06-09 ago contrib/README;
2010-06-09 ago removed outdated/confusing INSTALL file;
2010-06-07 ago refer to isabelle-release branch;
2010-06-06 ago tuned;
2010-05-31 ago remove presently unused Isabelle application;
2009-12-09 ago keep future Isabelle application entry point;
2009-12-04 ago back to main repository;
2009-11-27 ago proper quotes;
2009-11-27 ago more abstract handling of repository name;
2009-11-25 ago refer to isabelle-release branch;
2009-11-22 ago remove presently unused Isabelle application;
2009-08-11 ago clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
2009-06-28 ago discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things;
2009-04-07 ago misc tuning and updates;
2009-04-07 ago updated doc setup;
2009-04-05 ago removed obsolete website directory -- information derived by website/build;
2009-04-02 ago simplified website/config;
2009-03-05 ago silent chmod;
2009-02-27 ago tuned;
2009-02-26 ago back to plain http;
2009-01-27 ago use https;
2008-12-01 ago merged
2008-12-01 ago makedist -- make Isabelle source distribution (Mercurial version);
2008-07-17 ago tuned message;
2008-07-17 ago structure Distribution: swapped default for is_official;
2008-07-17 ago tuned whitespace;
2008-07-17 ago removed old checklist;
2008-07-17 ago assume GNU tar and find;
2008-07-02 ago renamed Contents to Dirs to avoid case-conflict with doc/Contents;
2008-06-08 ago remove codegen_process.pdf from distribution;
2008-05-30 ago cvs2cl only for unofficial releases;
2008-03-24 ago replaced obsolete /usr/proj by /home;
2008-03-24 ago remote CVSROOT: default to atbroy100 instead of sunbroy2;
2008-02-25 ago tuned structure Distribution;
2008-02-21 ago keep ChangeLog.gz within distribution;
2008-01-23 ago reactivated mk of java/scala sources, with paranoia PATH setting for sunbroy;
2008-01-07 ago isabelle.jars: temporarily disabled, until isatest gets up-to-date java;
2008-01-06 ago build Isabelle process wrapper;
2007-11-15 ago cover ISABELLE_IDENTIFIER;
2007-10-30 ago improved website integration
2007-10-30 ago split library index into templates
2007-10-27 ago ASCIIfied README
2007-07-22 ago chmod u+rw on all files;
2007-06-02 ago proper handling of Tools;
2007-05-31 ago doc: exclude isabelle_isar.pdf;
2007-05-31 ago added src/Tools;
2006-12-08 ago date: forcing LC_ALL=C prevents funny file names;
2006-10-12 ago now allowing subdirectories in Doc/
2006-01-02 ago ISABELLE_USER for remote cvs access;
2005-10-21 ago towards an improved website/makedist integration
2005-10-19 ago slight improvements for website
2005-09-28 ago avoid naming existing tags in explanations;
2005-09-26 ago yet another atempt to get doc/Contents right;
2005-09-26 ago really copy doc/Contents;
2005-09-26 ago copy doc/Contents;
2005-09-23 ago removed doc/index.html from distribution (now produced by website);
2005-09-21 ago fixed cvs export;
2005-09-21 ago tuned;
2005-09-21 ago tuned;