Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Mirabelle/lib/Tools/mirabelle
Wed, 23 Mar 2011 09:15:49 +0100
krauss
replace hardwired MIRABELLE_OUTPUT_PATH by temporary directory derived from ISABELLE_TMP_PREFIX and $$ -- old behaviour can be achieved by manually setting MIRABELLE_OUTPUT_PATH
file
|
diff
|
annotate
Mon, 21 Mar 2011 12:43:25 +0100
krauss
propagate mirabelle failures properly;
file
|
diff
|
annotate
Mon, 06 Dec 2010 10:52:48 +0100
bulwahn
correcting usage documentation in mirabelle tool
file
|
diff
|
annotate
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
less
more
(0)
tip