| Sat, 05 Dec 2015 16:09:41 +0100 | switched from Isabelle2014 to Isabelle2015, intermediate state | file | diff | annotate |
| Thu, 11 Aug 2011 12:53:41 +0200 | somewhat more uniform THIS; | file | diff | annotate |
| Wed, 12 May 2010 13:54:49 +0200 | removed obsolete CVS Ids; | file | diff | annotate |
| Fri, 05 Oct 2007 11:16:30 +0200 | cover only .gz files; | file | diff | annotate |
| Fri, 06 Jul 2007 11:55:05 +0200 | Cumulative reports for Poly/ML profiling output. | file | diff | annotate |