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