| Thu, 15 Dec 2016 15:05:35 +0100 |
blanchet |
updated CASC instructions + tuning
|
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
|
| Mon, 22 Jun 2015 16:56:03 +0200 |
blanchet |
automatically build image
|
file |
diff |
annotate
|
| Mon, 22 Jun 2015 16:56:03 +0200 |
blanchet |
filter out more Poly/ML messages from (ad hoc) TPTP toools
|
file |
diff |
annotate
|
| Mon, 22 Jun 2015 16:56:03 +0200 |
blanchet |
removed (now illegal) semicolons in generated theory files
|
file |
diff |
annotate
|
| Thu, 14 Nov 2013 19:54:10 +0100 |
blanchet |
implemented 'tptp_translate'
|
file |
diff |
annotate
|
| Fri, 24 May 2013 11:08:25 +0200 |
blanchet |
pass noninteractive flag -- necessary to run under CASC's "runsolver" program
|
file |
diff |
annotate
|
| Tue, 21 May 2013 09:02:58 +0200 |
blanchet |
use HOL-TPTP image in TPTP tools (for less verbose and faster startup) and filter out some messages
|
file |
diff |
annotate
|
| Fri, 27 Apr 2012 15:24:37 +0200 |
blanchet |
thread theory cleanly and use "smt" method rather than Sledgehammer for Z3 (because of obscure debilitating bug)
|
file |
diff |
annotate
|
| Sun, 22 Apr 2012 14:16:46 +0200 |
blanchet |
added timeout argument to TPTP tools
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
added problem importer
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:31 +0100 |
blanchet |
rebranded Nitrox, for more uniformity
|
file |
diff |
annotate
|