| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
| Tue, 08 Apr 2008 15:47:10 +0200 | wenzelm | removed obsolete AUTO_PERL feature; | file | diff | annotate |
| Tue, 26 Apr 2005 19:50:57 +0200 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | file | diff | annotate |
| Wed, 20 Apr 2005 16:03:17 +0200 | quigley | Removed remaining references to Main.thy in reconstruction code. | file | diff | annotate |
| Mon, 23 Aug 2004 16:35:53 +0200 | webertj | initial version | file | diff | annotate |