| Mon, 18 Apr 2011 10:00:55 +0200 | krauss | tool for importing nightly isatest logs | file | diff | annotate |
| Fri, 01 Apr 2011 16:29:58 +0200 | krauss | fixed accidental redefinition | file | diff | annotate |
| Fri, 01 Apr 2011 12:19:54 +0200 | krauss | scheduler for judgement day | file | diff | annotate |
| Fri, 01 Apr 2011 09:29:58 +0200 | krauss | adapted parsing of session timing (cf. e86b10c68f0b) | file | diff | annotate |
| Mon, 28 Mar 2011 09:22:22 +0200 | krauss | keep smlnj HOL images around | file | diff | annotate |
| Sun, 27 Mar 2011 17:32:25 +0200 | krauss | added make target 'smlnj' to refer to what can/should be tested using smlnj -- allows the use of "isabelle makeall smlnj"; | file | diff | annotate |