| Mon, 20 Jan 2014 10:07:07 +0100 |
blanchet |
killed obsolete provers from documentation
|
file |
diff |
annotate
|
| Thu, 19 Dec 2013 13:43:21 +0100 |
blanchet |
made timeouts in Sledgehammer not be 'option's -- simplified lots of code
|
file |
diff |
annotate
|
| Tue, 17 Dec 2013 14:03:29 +0100 |
blanchet |
primitive support for SPASS-Pirate (Daniel Wand's polymorphic SPASS prototype)
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 04:03:30 +0100 |
blanchet |
added warning to documentation, based on isabelle-users thread
|
file |
diff |
annotate
|
| Thu, 17 Oct 2013 20:03:37 +0200 |
blanchet |
added thread-safety warnings
|
file |
diff |
annotate
|
| Tue, 15 Oct 2013 15:31:32 +0200 |
blanchet |
updated S/H docs
|
file |
diff |
annotate
|
| Tue, 01 Oct 2013 19:58:31 +0200 |
blanchet |
tiny doc fix
|
file |
diff |
annotate
|
| Mon, 23 Sep 2013 14:53:43 +0200 |
blanchet |
document "spy" option
|
file |
diff |
annotate
|
| Sat, 21 Sep 2013 22:48:52 +0200 |
wenzelm |
repaired latex (cf. 7bb0cf27c243);
|
file |
diff |
annotate
|
| Fri, 20 Sep 2013 22:39:30 +0200 |
blanchet |
document option
|
file |
diff |
annotate
|
| Fri, 20 Sep 2013 22:39:30 +0200 |
blanchet |
moved focus to Isabell/jEdit and away from Proof General
|
file |
diff |
annotate
|
| Fri, 20 Sep 2013 22:39:30 +0200 |
blanchet |
took out Waldmeister from list of default provers -- it's usually just visual noise, and its integration in Sledgehammer leaves much to be desired
|
file |
diff |
annotate
|
| Fri, 20 Sep 2013 22:39:30 +0200 |
blanchet |
reduce the number of emitted MaSh commands (among others to facilitate debugging)
|
file |
diff |
annotate
|
| Wed, 11 Sep 2013 10:57:09 +0200 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
tuned messages
|
file |
diff |
annotate
|
| Tue, 20 Aug 2013 14:39:55 +0200 |
blanchet |
doc tuning
|
file |
diff |
annotate
|
| Tue, 20 Aug 2013 04:59:25 +0200 |
blanchet |
removed french option to manuals
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 10:29:49 +0200 |
blanchet |
updated Vampire version numbers
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 17:27:56 +0200 |
blanchet |
updated Sledgehammer prover versions
|
file |
diff |
annotate
|
| Mon, 20 May 2013 16:12:33 +0200 |
blanchet |
updated Sledgehammer docs
|
file |
diff |
annotate
|
| Wed, 20 Feb 2013 15:26:19 +0100 |
blanchet |
upgraded to Alt-Ergo 0.95
|
file |
diff |
annotate
|
| Wed, 20 Feb 2013 08:44:24 +0100 |
blanchet |
made "isar_proofs" a 3-way option, to provide a way to totally disable isar_proofs if desired
|
file |
diff |
annotate
|
| Wed, 20 Feb 2013 08:44:24 +0100 |
blanchet |
alias for people like me
|
file |
diff |
annotate
|
| Thu, 14 Feb 2013 22:49:22 +0100 |
smolkas |
renamed sledgehammer_shrink to sledgehammer_compress
|
file |
diff |
annotate
|
| Thu, 07 Feb 2013 14:05:32 +0100 |
blanchet |
distinguish MeSh and smart -- with smart, allow combinations of MaSh, MeSh, and MePo in different slices -- and use MaSh also with SMT solvers, based on evaluation
|
file |
diff |
annotate
|
| Thu, 17 Jan 2013 14:06:14 +0100 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Fri, 04 Jan 2013 19:00:49 +0100 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 00:24:06 +0100 |
blanchet |
adopt the neutral "prover" terminology for MaSh rather than the ambiguous/wrong ATP terminology (which sometimes excludes SMT solvers)
|
file |
diff |
annotate
|
| Mon, 10 Dec 2012 13:33:06 +0100 |
blanchet |
changed capitalization of MeSh filter
|
file |
diff |
annotate
|
| Mon, 26 Nov 2012 12:13:37 +0100 |
blanchet |
updated MaSh doc
|
file |
diff |
annotate
|
| Tue, 06 Nov 2012 15:15:33 +0100 |
blanchet |
renamed Sledgehammer option
|
file |
diff |
annotate
|
| Thu, 18 Oct 2012 15:10:49 +0200 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Fri, 14 Sep 2012 12:09:27 +0200 |
blanchet |
merged two commands
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|