| Tue, 13 Sep 1994 11:19:38 +0200 | now uses find to locate .thy.ML files everywhere | file | diff | annotate |
| Thu, 03 Feb 1994 17:16:40 +0100 | no longer removes *.z | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | Initial revision | file | diff | annotate |