| 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
|
| Wed, 06 Jun 2012 10:35:05 +0200 |
blanchet |
renamed TPTP commands to agree with Sutcliffe's terminology
|
file |
diff |
annotate
| base
|