| Tue, 08 Dec 2009 23:05:23 +0100 | boehmes | also consider the fully-typed version of metis for Mirabelle measurements | file | diff | annotate |
| Tue, 27 Oct 2009 18:01:50 +0100 | boehmes | included description for sledgehammer options in Mirabelle script | 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 16:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate | base |