Thu, 01 Apr 2021 19:14:43 +0200 |
wenzelm |
clarified README;
|
file |
diff |
annotate
|
Sun, 22 Dec 2019 16:19:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 22 Dec 2019 16:18:55 +0100 |
wenzelm |
improved Markdown-like display in Phabricator;
|
file |
diff |
annotate
|
Tue, 02 Apr 2019 13:15:52 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
Wed, 18 Jul 2018 16:44:01 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
Thu, 15 Mar 2018 11:49:29 +0100 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
Mon, 18 Jan 2016 14:59:59 +0100 |
wenzelm |
updated mirrors according to website;
|
file |
diff |
annotate
|
Sat, 16 Jan 2016 15:57:38 +0100 |
wenzelm |
tuned URLs according to website;
|
file |
diff |
annotate
|
Tue, 01 Jul 2014 14:52:08 +0200 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
Thu, 03 Oct 2013 16:09:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 29 Sep 2013 12:17:02 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Wed, 11 Sep 2013 11:07:39 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
Sun, 16 Dec 2012 22:10:37 +0100 |
wenzelm |
updated README;
|
file |
diff |
annotate
|
Fri, 27 Apr 2012 20:57:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 27 Apr 2012 15:59:50 +0200 |
wenzelm |
some updates on classic README, reduce the impression that there is much to install manually;
|
file |
diff |
annotate
|
Wed, 25 Apr 2012 14:24:27 +0200 |
wenzelm |
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
|
file |
diff |
annotate
|
Sat, 14 Apr 2012 12:46:45 +0200 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
Sun, 18 Sep 2011 15:30:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 07 Sep 2011 20:49:45 +0200 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
Sun, 16 Jan 2011 21:05:10 +0100 |
wenzelm |
misc updates for release;
|
file |
diff |
annotate
|
Wed, 12 Jan 2011 16:41:49 +0100 |
wenzelm |
updated to ProofGeneral-4.x;
|
file |
diff |
annotate
|
Tue, 17 Aug 2010 18:41:55 +0200 |
wenzelm |
discontinued support for Poly/ML 5.0 and 5.1 versions;
|
file |
diff |
annotate
|
Wed, 09 Jun 2010 14:08:08 +0200 |
wenzelm |
removed outdated/confusing INSTALL file;
|
file |
diff |
annotate
|
Fri, 28 May 2010 11:23:34 +0200 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
Wed, 12 May 2010 13:52:34 +0200 |
wenzelm |
updated some version numbers;
|
file |
diff |
annotate
|
Sun, 22 Nov 2009 14:13:18 +0100 |
wenzelm |
misc tuning and updates for official release;
|
file |
diff |
annotate
|
Tue, 11 Aug 2009 15:53:13 +0200 |
wenzelm |
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
|
file |
diff |
annotate
|
Wed, 15 Apr 2009 20:03:08 +0200 |
wenzelm |
misc tuning for Isabelle2009;
|
file |
diff |
annotate
|
Thu, 02 Apr 2009 14:30:16 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
Thu, 17 Jul 2008 21:22:44 +0200 |
wenzelm |
tuned line breaks (NB: generated text is inserted here);
|
file |
diff |
annotate
|
Thu, 05 Jun 2008 12:03:48 +0200 |
haftmann |
adjusted location of cambridge website
|
file |
diff |
annotate
|
Wed, 28 May 2008 22:54:05 +0200 |
wenzelm |
tuned version numbers;
|
file |
diff |
annotate
|
Tue, 20 Nov 2007 13:55:13 +0100 |
wenzelm |
updated Proof General advertisement;
|
file |
diff |
annotate
|
Mon, 12 Nov 2007 23:08:12 +0100 |
wenzelm |
removed left-over text links from lynx conversion;
|
file |
diff |
annotate
|
Sat, 27 Oct 2007 12:48:44 +0200 |
haftmann |
ASCIIfied README
|
file |
diff |
annotate
|
Wed, 27 Nov 1996 13:04:04 +0100 |
paulson |
Updated instructions
|
file |
diff |
annotate
|
Thu, 21 Nov 1996 15:12:39 +0100 |
paulson |
Further comments on versions of SML/NJ
|
file |
diff |
annotate
|
Mon, 18 Nov 1996 16:26:08 +0100 |
paulson |
Updated and clearer(?) instructions
|
file |
diff |
annotate
|
Mon, 21 Oct 1996 11:37:21 +0200 |
paulson |
Mentions the possibility of pathnames in ISABELLECOMP;
|
file |
diff |
annotate
|
Fri, 20 Jan 1995 02:00:57 +0100 |
lcp |
README: Now documents to Tools directory
|
file |
diff |
annotate
|
Wed, 21 Dec 1994 12:46:52 +0100 |
lcp |
Moved description of tools to Tools/README
|
file |
diff |
annotate
|
Tue, 13 Sep 1994 11:39:49 +0200 |
lcp |
updated for Isabelle94
|
file |
diff |
annotate
|
Tue, 12 Jul 1994 18:38:39 +0200 |
lcp |
minor updates
|
file |
diff |
annotate
|
Fri, 13 May 1994 11:10:14 +0200 |
lcp |
make-all-poly, make-all-nj: restored to main directory as examples
|
file |
diff |
annotate
|
Mon, 13 Dec 1993 18:50:03 +0100 |
lcp |
added isabelle-users paragraph
|
file |
diff |
annotate
|
Fri, 05 Nov 1993 18:49:22 +0100 |
nipkow |
change of my address
|
file |
diff |
annotate
|
Fri, 05 Nov 1993 11:48:53 +0100 |
lcp |
Added documenation of change_simp.
|
file |
diff |
annotate
|
Thu, 28 Oct 1993 17:40:50 +0100 |
lcp |
deletion of obsolete/private files; update of README
|
file |
diff |
annotate
|
Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|