| Tue, 21 Dec 2010 13:57:35 +0100 | blanchet | better parsing of options, in case the value has '=' | file | diff | annotate |
| Mon, 30 Aug 2010 12:09:57 +0200 | blanchet | execute actions in same order as specified on command line | file | diff | annotate |
| Mon, 30 Aug 2010 11:39:23 +0200 | blanchet | deal with duplicates | file | diff | annotate |
| Thu, 10 Jun 2010 12:08:33 +0200 | krauss | Adapted Mirabelle script (cf. f60e4dd6d76f) | file | diff | annotate |
| Sat, 05 Sep 2009 15:46:52 +0200 | boehmes | Mirabelle: command-line action options may either be key=value or just key | file | diff | annotate |
| Sat, 05 Sep 2009 11:45:57 +0200 | boehmes | added initialization and cleanup of actions, | 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:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate | base |