| 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 |
| Mon, 12 May 1997 18:21:21 +0200 | wenzelm | improved doc stuff; | file | diff | annotate |
| Fri, 02 May 1997 18:19:01 +0200 | wenzelm | -P option (prune empty dirs); | file | diff | annotate |
| Fri, 25 Apr 1997 17:28:43 +0200 | wenzelm | removed -norc; | file | diff | annotate |
| Thu, 17 Apr 1997 14:41:08 +0200 | wenzelm | added fixencoding note; | file | diff | annotate |
| Thu, 20 Mar 1997 12:34:08 +0100 | wenzelm | remove empty dirs; | file | diff | annotate |
| Mon, 17 Mar 1997 10:39:57 +0100 | wenzelm | uncommented chown / chmod (again); | file | diff | annotate |
| Fri, 07 Mar 1997 16:40:30 +0100 | wenzelm | commented out chwon, chmod; | file | diff | annotate |
| Thu, 27 Feb 1997 13:44:55 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Fri, 21 Feb 1997 11:18:33 +0100 | wenzelm | fixed Id comment; | file | diff | annotate |
| Thu, 20 Feb 1997 17:02:42 +0100 | wenzelm | makedist -- make Isabelle distribution. | file | diff | annotate |