Mon, 21 Mar 2011 12:43:25 +0100 |
krauss |
propagate mirabelle failures properly;
|
file |
diff |
annotate
|
Mon, 21 Mar 2011 12:43:23 +0100 |
krauss |
mirabelle: create modified theory file in original location, to ensure that its dependencies can be found (cf. aa8dce9ab8a9)
|
file |
diff |
annotate
|
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
|