| Fri, 17 May 2019 10:38:01 +0200 | Norbert Schirmer | prefer cartouches over " in ML antiquotations | file | diff | annotate |
| Tue, 14 May 2019 17:10:47 +0200 | Norbert Schirmer | isabelle update_cartouches -t | file | diff | annotate |
| Fri, 19 Apr 2013 11:09:18 +0100 | Christian Urban |
updated to simplifier change | file | diff | annotate |
| Thu, 07 Apr 2011 00:25:26 +0100 | Christian Urban | Updated to changes in timing structure | file | diff | annotate |
| Fri, 29 Oct 2010 13:16:45 +0200 | griff | 'nat_number' was renamed to 'eval_nat_numeral' | file | diff | annotate |
| Tue, 13 Oct 2009 22:57:25 +0200 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |