| Tue, 05 Nov 1996 11:48:09 +0100 | paulson | Replaced the very slow "find" command by "rm" with wildcards | file | diff | annotate |
| Wed, 21 Dec 1994 13:36:02 +0100 | lcp | Id: marker. | file | diff | annotate |
| Tue, 13 Sep 1994 11:19:38 +0200 | lcp | now uses find to locate .thy.ML files everywhere | file | diff | annotate |
| Thu, 03 Feb 1994 17:16:40 +0100 | lcp | no longer removes *.z | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |