| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Fri, 04 Sep 2009 13:57:56 +0200 | boehmes | tuned | file | diff | annotate |
| Thu, 03 Sep 2009 22:47:31 +0200 | boehmes | Mirabelle: actions are responsible for catching exceptions and producing suitable log messages (makes log message uniform), | file | diff | annotate |
| Thu, 03 Sep 2009 15:47:39 +0200 | boehmes | tuned | file | diff | annotate |
| Thu, 03 Sep 2009 14:05:13 +0200 | boehmes | Mirabelle: logging of exceptions (works only for PolyML) | file | diff | annotate |
| Wed, 02 Sep 2009 16:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate |