| Wed, 21 Jun 2017 22:48:55 +0200 |
blanchet |
added -d option to Mirabelle
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 15:17:11 +0200 |
blanchet |
adapt theory names within the theory
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 22:19:46 +0100 |
wenzelm |
isabelle process -T THEORY;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 11:45:25 +0100 |
wenzelm |
less physical "logic" argument, with option -l like "isabelle console" etc.;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 17:30:04 +0100 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Wed, 09 Mar 2016 19:30:09 +0100 |
wenzelm |
isabelle.Build uses ML_Process directly;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 23:33:22 +0100 |
wenzelm |
simplified;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 20:35:06 +0100 |
wenzelm |
isabelle_process executable no longer supports writable heap images;
|
file |
diff |
annotate
|
| Thu, 11 Feb 2016 22:05:12 +0100 |
wenzelm |
invoke perl system with explicit list -- to avoid extra /bin/sh and thus evade potential conflict of /bin/sh -> dash with bash on Debian/Ubuntu;
|
file |
diff |
annotate
|
| Wed, 11 Dec 2013 18:02:22 +0100 |
wenzelm |
support for polml-5.5.2;
|
file |
diff |
annotate
|
| Fri, 17 May 2013 20:41:45 +0200 |
wenzelm |
proper option quick_and_dirty;
|
file |
diff |
annotate
|
| Wed, 27 Feb 2013 12:45:19 +0100 |
wenzelm |
discontinued obsolete 'uses' within theory header;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2012 15:37:58 +0200 |
wenzelm |
Mirabelle appears to work better in single-threaded mode;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 10:28:04 +0200 |
boehmes |
extended Mirabelle to support user-provided setup files which contain the configuration for a Mirabelle run (avoids some layers of scripts and reduces the complexity of the overall Mirabelle setup)
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 14:13:04 +0100 |
sultana |
merged
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 13:59:29 +0100 |
sultana |
reversed Tools to Actions Mirabelle renaming;
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 13:56:13 +0200 |
blanchet |
reintroduce file offsets in Mirabelle output, but make sure they are not influenced by the length of the path
|
file |
diff |
annotate
|
| Tue, 24 Apr 2012 09:47:40 +0200 |
blanchet |
run Mirabelle in quick and dirty mode
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 23:52:17 +0100 |
sultana |
renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description;
|
file |
diff |
annotate
|
| Wed, 07 Mar 2012 13:00:30 +0000 |
sultana |
added Mirabelle action info in its log file; tuned;
|
file |
diff |
annotate
|
| Wed, 23 Mar 2011 10:21:29 +0100 |
boehmes |
really be quiet
|
file |
diff |
annotate
|
| Mon, 21 Mar 2011 14:46:59 +0100 |
krauss |
fixed perl error
|
file |
diff |
annotate
|
| Mon, 21 Mar 2011 14:37:10 +0100 |
krauss |
eliminated unnecessary generated ROOT.ML
|
file |
diff |
annotate
|
| 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
|