| 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
|
| 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
|
| Wed, 21 Sep 2005 14:03:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 21 Sep 2005 13:28:44 +0200 |
wenzelm |
removed "--" argument;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2005 08:16:03 +0200 |
haftmann |
removed mkcontent from makedist
|
file |
diff |
annotate
|
| Mon, 20 Jun 2005 22:13:53 +0200 |
wenzelm |
exclude pghead.pdf from doc;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2005 11:04:54 +0200 |
haftmann |
added CONTRIBUTORS
|
file |
diff |
annotate
|
| Mon, 06 Jun 2005 14:12:07 +0200 |
haftmann |
migrated scripts to new webiste
|
file |
diff |
annotate
|
| Sun, 05 Jun 2005 23:07:24 +0200 |
wenzelm |
find empty dirs up to depth 5;
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 10:30:07 +0200 |
haftmann |
concl antiqutations
|
file |
diff |
annotate
|
| Sun, 29 May 2005 05:23:28 +0200 |
kleing |
make COPYRIGHT file available for web page
|
file |
diff |
annotate
|
| Thu, 13 Jan 2005 14:56:37 +0100 |
berghofe |
Added ChangeLog
|
file |
diff |
annotate
|
| Mon, 03 Feb 2003 11:44:23 +0100 |
berghofe |
Fill in version information in lib/Tools/version.
|
file |
diff |
annotate
|
| Thu, 20 Jun 2002 21:44:54 +0200 |
kleing |
fail more gracefully, return proper exit codes, allow preset DISTPREFIX
|
file |
diff |
annotate
|
| Tue, 30 Apr 2002 12:15:48 +0200 |
kleing |
physical location of isabelle repository is now sunbroy2
|
file |
diff |
annotate
|
| Fri, 08 Mar 2002 20:39:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 28 Feb 2002 21:31:13 +0100 |
wenzelm |
delete .cvsignore;
|
file |
diff |
annotate
|
| Fri, 11 Jan 2002 17:04:49 +0100 |
wenzelm |
#!/usr/bin/env bash;
|
file |
diff |
annotate
|
| Mon, 29 Oct 2001 17:22:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 02 Jul 2001 21:14:53 +0200 |
wenzelm |
do *not* ./configure;
|
file |
diff |
annotate
|
| Mon, 05 Feb 2001 14:31:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2001 20:35:39 +0100 |
wenzelm |
generate index.html for pdf docs;
|
file |
diff |
annotate
|
| Tue, 28 Nov 2000 01:48:07 +0100 |
wenzelm |
fixed hostname;
|
file |
diff |
annotate
|
| Tue, 28 Nov 2000 01:23:45 +0100 |
wenzelm |
detect CVSROOT;
|
file |
diff |
annotate
|
| Sun, 08 Oct 2000 19:58:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2000 19:10:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 27 Sep 2000 19:39:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2000 18:09:38 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2000 17:01:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2000 12:04:10 +0200 |
wenzelm |
include "Isabelle" link;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2000 14:49:51 +0200 |
wenzelm |
include ANNOUNCE;
|
file |
diff |
annotate
|
| Thu, 14 Sep 2000 18:37:44 +0200 |
wenzelm |
"Isabelle repository version";
|
file |
diff |
annotate
|
| Tue, 12 Sep 2000 17:01:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 11 Sep 2000 20:23:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 11 Sep 2000 17:41:34 +0200 |
wenzelm |
improved WWW page generation (still somewhat experimental);
|
file |
diff |
annotate
|
| Wed, 06 Sep 2000 19:12:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 06 Sep 2000 16:54:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 05 Sep 2000 18:53:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 02 Sep 2000 21:45:41 +0200 |
wenzelm |
provide "--" argument: tentative release;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2000 17:37:29 +0200 |
wenzelm |
cleanup dist sources afterwards;
|
file |
diff |
annotate
|
| Wed, 07 Jun 2000 14:20:16 +0200 |
wenzelm |
provide TAGS file for Isabelle sources;
|
file |
diff |
annotate
|
| Fri, 05 May 2000 22:24:03 +0200 |
wenzelm |
removed index2;
|
file |
diff |
annotate
|
| Thu, 09 Dec 1999 13:10:39 +0100 |
kleing |
new web pages integrated
|
file |
diff |
annotate
|
| Tue, 02 Nov 1999 17:28:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 13 Oct 1999 19:44:33 +0200 |
wenzelm |
berghofe;
|
file |
diff |
annotate
|
| Thu, 07 Oct 1999 14:31:01 +0200 |
wenzelm |
delete Tools;
|
file |
diff |
annotate
|
| Wed, 28 Jul 1999 12:07:08 +0200 |
wenzelm |
mkdir contrib;
|
file |
diff |
annotate
|
| Fri, 09 Jul 1999 19:11:50 +0200 |
wenzelm |
rmdir pdf;
|
file |
diff |
annotate
|
| Wed, 02 Jun 1999 11:55:18 +0200 |
wenzelm |
find -print;
|
file |
diff |
annotate
|
| Fri, 28 May 1999 18:20:58 +0200 |
wenzelm |
move pdfs back into dist;
|
file |
diff |
annotate
|
| Fri, 28 May 1999 18:00:33 +0200 |
wenzelm |
separate archive for pdf docs;
|
file |
diff |
annotate
|
| Mon, 10 May 1999 17:45:16 +0200 |
wenzelm |
make pdf;
|
file |
diff |
annotate
|
| Thu, 04 Mar 1999 14:23:51 +0100 |
wenzelm |
fixed again;
|
file |
diff |
annotate
|
| Mon, 01 Mar 1999 19:10:43 +0100 |
wenzelm |
fixed {ISABELLE};
|
file |
diff |
annotate
|
| Mon, 09 Nov 1998 12:27:41 +0100 |
wenzelm |
Check release name and date in NEWS!
|
file |
diff |
annotate
|
| Sun, 25 Oct 1998 12:33:27 +0100 |
wenzelm |
tuned checklist;
Isabelle98-1
|
file |
diff |
annotate
|
| Thu, 22 Oct 1998 12:32:42 +0200 |
wenzelm |
fixed index.html;
|
file |
diff |
annotate
|
| Thu, 22 Oct 1998 11:09:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 07 Oct 1998 17:51:11 +0200 |
wenzelm |
tuned rm CVS;
|
file |
diff |
annotate
|
| Thu, 27 Aug 1998 11:53:45 +0200 |
wenzelm |
eps logis;
|
file |
diff |
annotate
|
| Tue, 21 Jul 1998 17:30:13 +0200 |
wenzelm |
fixed eps/ps find;
|
file |
diff |
annotate
|
| Tue, 21 Jul 1998 16:43:38 +0200 |
wenzelm |
fixed CVSROOT;
|
file |
diff |
annotate
|
| Tue, 21 Jul 1998 16:38:25 +0200 |
wenzelm |
library includes Isabelle version information;
|
file |
diff |
annotate
|
| Fri, 29 May 1998 13:49:50 +0200 |
wenzelm |
tuned msgs;
|
file |
diff |
annotate
|
| Thu, 28 May 1998 14:50:40 +0200 |
wenzelm |
tuned dist version;
|
file |
diff |
annotate
|
| Thu, 28 May 1998 12:22:37 +0200 |
wenzelm |
README, Pure/ROOT.ML: version set automatically;
|
file |
diff |
annotate
|
| Fri, 09 Jan 1998 20:28:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 09 Jan 1998 20:07:57 +0100 |
wenzelm |
automatic index.html patch;
|
file |
diff |
annotate
|
| Fri, 09 Jan 1998 14:28:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 08 Jan 1998 19:04:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 15 Dec 1997 15:16:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 06 Nov 1997 16:40:45 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 06 Nov 1997 12:27:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 05 Nov 1997 19:39:34 +0100 |
wenzelm |
Tools/8bit: ./mk;
|
file |
diff |
annotate
|
| Tue, 23 Sep 1997 08:44:57 +0200 |
wenzelm |
index.html obsolete;
|
file |
diff |
annotate
|
| Thu, 07 Aug 1997 23:39:28 +0200 |
berghofe |
Added some commands for building theory browser.
|
file |
diff |
annotate
|
| Tue, 27 May 1997 16:31:26 +0200 |
wenzelm |
fixed -P (checkout only);
|
file |
diff |
annotate
|
| Thu, 22 May 1997 16:44:47 +0200 |
wenzelm |
fixed doc;
|
file |
diff |
annotate
|
| Wed, 21 May 1997 17:31:12 +0200 |
wenzelm |
fixed find cmd;
|
file |
diff |
annotate
|
| Tue, 20 May 1997 19:29:50 +0200 |
wenzelm |
README generation;
|
file |
diff |
annotate
|
| Wed, 14 May 1997 18:41:48 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|