| 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 |