| 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
|
| Sat, 02 Jun 2007 13:52:07 +0200 |
wenzelm |
proper handling of Tools;
|
file |
diff |
annotate
|
| Thu, 31 May 2007 18:16:46 +0200 |
wenzelm |
doc: exclude isabelle_isar.pdf;
|
file |
diff |
annotate
|
| Thu, 31 May 2007 13:18:42 +0200 |
wenzelm |
added src/Tools;
|
file |
diff |
annotate
|
| Fri, 08 Dec 2006 23:25:50 +0100 |
wenzelm |
date: forcing LC_ALL=C prevents funny file names;
|
file |
diff |
annotate
|
| Thu, 12 Oct 2006 08:25:04 +0200 |
haftmann |
now allowing subdirectories in Doc/
|
file |
diff |
annotate
|
| Mon, 02 Jan 2006 20:50:17 +0100 |
wenzelm |
ISABELLE_USER for remote cvs access;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 09:05:52 +0200 |
haftmann |
towards an improved website/makedist integration
|
file |
diff |
annotate
|
| Wed, 19 Oct 2005 16:32:09 +0200 |
haftmann |
slight improvements for website
|
file |
diff |
annotate
|
| Wed, 28 Sep 2005 11:50:15 +0200 |
wenzelm |
avoid naming existing tags in explanations;
|
file |
diff |
annotate
|
| Mon, 26 Sep 2005 19:19:12 +0200 |
wenzelm |
yet another atempt to get doc/Contents right;
|
file |
diff |
annotate
|
| Mon, 26 Sep 2005 17:14:48 +0200 |
wenzelm |
really copy doc/Contents;
|
file |
diff |
annotate
|
| Mon, 26 Sep 2005 15:56:28 +0200 |
wenzelm |
copy doc/Contents;
|
file |
diff |
annotate
|
| Fri, 23 Sep 2005 18:47:47 +0200 |
wenzelm |
removed doc/index.html from distribution (now produced by website);
|
file |
diff |
annotate
|
| Wed, 21 Sep 2005 14:45:55 +0200 |
wenzelm |
fixed cvs export;
|
file |
diff |
annotate
|
| Wed, 21 Sep 2005 14:23:57 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|