Sat, 05 Sep 2009 11:45:57 +0200 | boehmes | added initialization and cleanup of actions, | 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 14:31:04 +0200 | boehmes | replaced backlist by whitelist | 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 21:31:58 +0200 | boehmes | Mirabelle: actions are responsible for handling exceptions, | file | diff | annotate |
Wed, 02 Sep 2009 16:29:50 +0200 | boehmes | removed errors overseen in previous changes | file | diff | annotate |
Wed, 02 Sep 2009 16:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate | base |