Tue, 07 Apr 2009 23:25:50 +0200 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
Tue, 07 Apr 2009 23:08:20 +0200 |
wenzelm |
updated doc setup;
|
file |
diff |
annotate
|
Sun, 05 Apr 2009 22:25:02 +0200 |
wenzelm |
removed obsolete website directory -- information derived by website/build;
|
file |
diff |
annotate
|
Thu, 02 Apr 2009 22:03:04 +0200 |
wenzelm |
simplified website/config;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 18:19:20 +0100 |
wenzelm |
silent chmod;
|
file |
diff |
annotate
|
Fri, 27 Feb 2009 11:46:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 26 Feb 2009 16:54:44 +0100 |
wenzelm |
back to plain http;
|
file |
diff |
annotate
|
Tue, 27 Jan 2009 12:57:24 +0100 |
wenzelm |
use https;
|
file |
diff |
annotate
|
Mon, 01 Dec 2008 19:42:26 +0100 |
haftmann |
merged
|
file |
diff |
annotate
|
Mon, 01 Dec 2008 17:07:06 +0100 |
wenzelm |
makedist -- make Isabelle source distribution (Mercurial version);
|
file |
diff |
annotate
|
Thu, 17 Jul 2008 21:23:08 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
Thu, 17 Jul 2008 20:15:12 +0200 |
wenzelm |
structure Distribution: swapped default for is_official;
|
file |
diff |
annotate
|
Thu, 17 Jul 2008 17:11:34 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Thu, 17 Jul 2008 17:10:53 +0200 |
wenzelm |
removed old checklist;
|
file |
diff |
annotate
|
Thu, 17 Jul 2008 16:56:48 +0200 |
wenzelm |
assume GNU tar and find;
|
file |
diff |
annotate
|
Wed, 02 Jul 2008 20:13:32 +0200 |
wenzelm |
renamed Contents to Dirs to avoid case-conflict with doc/Contents;
|
file |
diff |
annotate
|
Sun, 08 Jun 2008 14:29:09 +0200 |
wenzelm |
remove codegen_process.pdf from distribution;
|
file |
diff |
annotate
|
Fri, 30 May 2008 23:26:51 +0200 |
wenzelm |
cvs2cl only for unofficial releases;
|
file |
diff |
annotate
|
Mon, 24 Mar 2008 16:05:25 +0100 |
wenzelm |
replaced obsolete /usr/proj by /home;
|
file |
diff |
annotate
|
Mon, 24 Mar 2008 15:59:16 +0100 |
wenzelm |
remote CVSROOT: default to atbroy100 instead of sunbroy2;
|
file |
diff |
annotate
|
Mon, 25 Feb 2008 17:27:38 +0100 |
wenzelm |
tuned structure Distribution;
|
file |
diff |
annotate
|
Thu, 21 Feb 2008 21:31:51 +0100 |
wenzelm |
keep ChangeLog.gz within distribution;
|
file |
diff |
annotate
|
Wed, 23 Jan 2008 23:35:23 +0100 |
wenzelm |
reactivated mk of java/scala sources, with paranoia PATH setting for sunbroy;
|
file |
diff |
annotate
|
Mon, 07 Jan 2008 11:40:20 +0100 |
wenzelm |
isabelle.jars: temporarily disabled, until isatest gets up-to-date java;
|
file |
diff |
annotate
|
Sun, 06 Jan 2008 18:09:34 +0100 |
wenzelm |
build Isabelle process wrapper;
|
file |
diff |
annotate
|
Thu, 15 Nov 2007 11:49:00 +0100 |
wenzelm |
cover ISABELLE_IDENTIFIER;
|
file |
diff |
annotate
|
Tue, 30 Oct 2007 12:14:23 +0100 |
haftmann |
improved website integration
|
file |
diff |
annotate
|
Tue, 30 Oct 2007 10:51:35 +0100 |
haftmann |
split library index into templates
|
file |
diff |
annotate
|
Sat, 27 Oct 2007 12:48:44 +0200 |
haftmann |
ASCIIfied README
|
file |
diff |
annotate
|
Sun, 22 Jul 2007 11:58:23 +0200 |
wenzelm |
chmod u+rw on all files;
|
file |
diff |
annotate
|