| Wed, 02 May 2012 21:55:13 +0200 |
makedist for release;
|
file | diff | annotate |
| Tue, 24 Apr 2012 23:22:40 +0200 |
tuned;
|
file | diff | annotate |
| Sun, 18 Mar 2012 22:09:00 +0100 |
more robust bash interpolation;
|
file | diff | annotate |
| Sun, 18 Mar 2012 22:06:37 +0100 |
more ambitious scalac options for makedist;
|
file | diff | annotate |
| Wed, 14 Mar 2012 15:24:07 +0100 |
support for non-HTTP repository locations (important for mira); quasi-hardwired repository name
|
file | diff | annotate |
| Wed, 14 Mar 2012 14:53:48 +0100 |
corrected slip
|
file | diff | annotate |
| Wed, 14 Mar 2012 12:20:42 +0100 |
allow modification of REPOS_NAME and REPOS from outside
|
file | diff | annotate |
| Mon, 10 Oct 2011 11:12:09 +0200 |
merged
|
file | diff | annotate |
| Mon, 26 Sep 2011 23:51:59 +0200 |
keep top-level "Isabelle" executable -- now an alias for "isabelle jedit";
|
file | diff | annotate |
| Mon, 26 Sep 2011 21:13:26 +0200 |
back to post-release mode;
|
file | diff | annotate |
| Mon, 26 Sep 2011 20:31:41 +0200 |
makedist for release;
|
file | diff | annotate |
| Thu, 11 Aug 2011 12:53:41 +0200 |
somewhat more uniform THIS;
|
file | diff | annotate |
| Fri, 10 Jun 2011 17:30:23 +0200 |
makedist -j: build Isabelle/jEdit via given jedit_build component;
|
file | diff | annotate |
| Tue, 15 Mar 2011 13:03:54 +0100 |
recover Isabelle symlink for public distribution, notably website;
|
file | diff | annotate |
| Mon, 31 Jan 2011 11:14:05 +0100 |
back to post-release mode;
|
file | diff | annotate |
| Mon, 17 Jan 2011 23:04:35 +0100 |
makedist: refer to isabelle-release;
|
file | diff | annotate |
| Sat, 15 Jan 2011 12:55:19 +0100 |
remove presently unused Isabelle application for official releases;
|
file | diff | annotate |
| Tue, 11 Jan 2011 19:55:34 +0100 |
isabelle version -i;
|
file | diff | annotate |
| Fri, 26 Nov 2010 14:40:33 +0100 |
discontinued global "Isabelle" symlink, to make each distribution even more self-contained;
|
file | diff | annotate |
| Wed, 17 Nov 2010 11:24:07 +0100 |
less parentheses, cf. Session.welcome;
|
file | diff | annotate |
| Mon, 21 Jun 2010 18:31:52 +0200 |
back to post-release mode;
|
file | diff | annotate |
| Wed, 09 Jun 2010 15:09:00 +0200 |
contrib/README;
|
file | diff | annotate |
| Wed, 09 Jun 2010 14:08:08 +0200 |
removed outdated/confusing INSTALL file;
|
file | diff | annotate |
| Mon, 07 Jun 2010 17:50:40 +0200 |
refer to isabelle-release branch;
|
file | diff | annotate |
| Sun, 06 Jun 2010 18:04:59 +0200 |
tuned;
|
file | diff | annotate |
| Mon, 31 May 2010 21:29:27 +0200 |
remove presently unused Isabelle application;
|
file | diff | annotate |
| Wed, 09 Dec 2009 12:07:44 +0100 |
keep future Isabelle application entry point;
|
file | diff | annotate |
| Fri, 04 Dec 2009 11:41:17 +0100 |
back to main repository;
|
file | diff | annotate |
| Fri, 27 Nov 2009 23:08:26 +0100 |
proper quotes;
|
file | diff | annotate |
| Fri, 27 Nov 2009 22:38:22 +0100 |
more abstract handling of repository name;
|
file | diff | annotate |
| Wed, 25 Nov 2009 15:30:03 +0100 |
refer to isabelle-release branch;
|
file | diff | annotate |
| Sun, 22 Nov 2009 14:59:27 +0100 |
remove presently unused Isabelle application;
|
file | diff | annotate |
| Tue, 11 Aug 2009 15:53:13 +0200 |
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
|
file | diff | annotate |
| Sun, 28 Jun 2009 19:29:28 +0200 |
discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things;
|
file | diff | annotate |
| Tue, 07 Apr 2009 23:25:50 +0200 |
misc tuning and updates;
|
file | diff | annotate |
| Tue, 07 Apr 2009 23:08:20 +0200 |
updated doc setup;
|
file | diff | annotate |
| Sun, 05 Apr 2009 22:25:02 +0200 |
removed obsolete website directory -- information derived by website/build;
|
file | diff | annotate |
| Thu, 02 Apr 2009 22:03:04 +0200 |
simplified website/config;
|
file | diff | annotate |
| Thu, 05 Mar 2009 18:19:20 +0100 |
silent chmod;
|
file | diff | annotate |
| Fri, 27 Feb 2009 11:46:03 +0100 |
tuned;
|
file | diff | annotate |
| Thu, 26 Feb 2009 16:54:44 +0100 |
back to plain http;
|
file | diff | annotate |
| Tue, 27 Jan 2009 12:57:24 +0100 |
use https;
|
file | diff | annotate |
| Mon, 01 Dec 2008 19:42:26 +0100 |
merged
|
file | diff | annotate |
| Mon, 01 Dec 2008 17:07:06 +0100 |
makedist -- make Isabelle source distribution (Mercurial version);
|
file | diff | annotate |
| Thu, 17 Jul 2008 21:23:08 +0200 |
tuned message;
|
file | diff | annotate |
| Thu, 17 Jul 2008 20:15:12 +0200 |
structure Distribution: swapped default for is_official;
|
file | diff | annotate |
| Thu, 17 Jul 2008 17:11:34 +0200 |
tuned whitespace;
|
file | diff | annotate |
| Thu, 17 Jul 2008 17:10:53 +0200 |
removed old checklist;
|
file | diff | annotate |
| Thu, 17 Jul 2008 16:56:48 +0200 |
assume GNU tar and find;
|
file | diff | annotate |
| Wed, 02 Jul 2008 20:13:32 +0200 |
renamed Contents to Dirs to avoid case-conflict with doc/Contents;
|
file | diff | annotate |
| Sun, 08 Jun 2008 14:29:09 +0200 |
remove codegen_process.pdf from distribution;
|
file | diff | annotate |
| Fri, 30 May 2008 23:26:51 +0200 |
cvs2cl only for unofficial releases;
|
file | diff | annotate |
| Mon, 24 Mar 2008 16:05:25 +0100 |
replaced obsolete /usr/proj by /home;
|
file | diff | annotate |
| Mon, 24 Mar 2008 15:59:16 +0100 |
remote CVSROOT: default to atbroy100 instead of sunbroy2;
|
file | diff | annotate |
| Mon, 25 Feb 2008 17:27:38 +0100 |
tuned structure Distribution;
|
file | diff | annotate |
| Thu, 21 Feb 2008 21:31:51 +0100 |
keep ChangeLog.gz within distribution;
|
file | diff | annotate |
| Wed, 23 Jan 2008 23:35:23 +0100 |
reactivated mk of java/scala sources, with paranoia PATH setting for sunbroy;
|
file | diff | annotate |
| Mon, 07 Jan 2008 11:40:20 +0100 |
isabelle.jars: temporarily disabled, until isatest gets up-to-date java;
|
file | diff | annotate |
| Sun, 06 Jan 2008 18:09:34 +0100 |
build Isabelle process wrapper;
|
file | diff | annotate |
| Thu, 15 Nov 2007 11:49:00 +0100 |
cover ISABELLE_IDENTIFIER;
|
file | diff | annotate |