Tue, 20 Nov 2007 13:55:13 +0100 |
updated Proof General advertisement;
|
file | diff | annotate |
Mon, 12 Nov 2007 23:08:12 +0100 |
removed left-over text links from lynx conversion;
|
file | diff | annotate |
Sat, 27 Oct 2007 12:48:44 +0200 |
ASCIIfied README
|
file | diff | annotate |
Wed, 27 Nov 1996 13:04:04 +0100 |
Updated instructions
|
file | diff | annotate |
Thu, 21 Nov 1996 15:12:39 +0100 |
Further comments on versions of SML/NJ
|
file | diff | annotate |
Mon, 18 Nov 1996 16:26:08 +0100 |
Updated and clearer(?) instructions
|
file | diff | annotate |
Mon, 21 Oct 1996 11:37:21 +0200 |
Mentions the possibility of pathnames in ISABELLECOMP;
|
file | diff | annotate |
Fri, 20 Jan 1995 02:00:57 +0100 |
README: Now documents to Tools directory
|
file | diff | annotate |
Wed, 21 Dec 1994 12:46:52 +0100 |
Moved description of tools to Tools/README
|
file | diff | annotate |
Tue, 13 Sep 1994 11:39:49 +0200 |
updated for Isabelle94
|
file | diff | annotate |
Tue, 12 Jul 1994 18:38:39 +0200 |
minor updates
|
file | diff | annotate |
Fri, 13 May 1994 11:10:14 +0200 |
make-all-poly, make-all-nj: restored to main directory as examples
|
file | diff | annotate |
Mon, 13 Dec 1993 18:50:03 +0100 |
added isabelle-users paragraph
|
file | diff | annotate |
Fri, 05 Nov 1993 18:49:22 +0100 |
change of my address
|
file | diff | annotate |
Fri, 05 Nov 1993 11:48:53 +0100 |
Added documenation of change_simp.
|
file | diff | annotate |
Thu, 28 Oct 1993 17:40:50 +0100 |
deletion of obsolete/private files; update of README
|
file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 |
Initial revision
|
file | diff | annotate |