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