| Tue, 21 Jul 2009 01:03:18 +0200 |
wenzelm |
proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:01:29 +0200 |
immler |
check if conjectures have been used in proof
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:01:28 +0200 |
immler |
use structure File instead of TextIO;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:01:28 +0200 |
immler |
check for current versions on server
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:01:28 +0200 |
immler |
fixed
|
file |
diff |
annotate
|
| Wed, 24 Jun 2009 15:51:07 +0200 |
nipkow |
New ATP option: full types
|
file |
diff |
annotate
|
| Mon, 22 Jun 2009 17:07:09 +0200 |
immler |
use results of relevance-filter to determine additional clauses;
|
file |
diff |
annotate
|
| Mon, 22 Jun 2009 17:07:08 +0200 |
immler |
export proof when exporting problemfile
|
file |
diff |
annotate
|
| Mon, 22 Jun 2009 17:07:08 +0200 |
immler |
restructured external_prover
|
file |
diff |
annotate
|
| Wed, 03 Jun 2009 16:56:41 +0200 |
immler |
additional debugging
|
file |
diff |
annotate
|
| Wed, 03 Jun 2009 16:56:41 +0200 |
immler |
include chain-ths in every prover-call
|
file |
diff |
annotate
|
| Wed, 03 Jun 2009 16:56:41 +0200 |
immler |
split preparing clauses and writing problemfile;
|
file |
diff |
annotate
|
| Tue, 02 Jun 2009 16:52:37 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Mon, 04 May 2009 23:37:39 +0200 |
immler |
added Philipp Meyer's implementation of AtpMinimal
|
file |
diff |
annotate
|
| Sat, 25 Apr 2009 20:31:27 +0200 |
wenzelm |
renamed contrib/SystemOnTPTP/remote to lib/script/SystemOnTPTP, thus leaving contrib empty within the official distribution;
|
file |
diff |
annotate
|
| Thu, 16 Apr 2009 14:54:57 +0200 |
wenzelm |
external_prover: "exec" the command line, in order to preserve the exact process context of the "system" invocation (this recovers interruptibility of E-1.0, which assumes to be the process group leader);
|
file |
diff |
annotate
|
| Wed, 15 Apr 2009 15:27:13 +0200 |
wenzelm |
more generic error message, which also covers more fundamental failure;
|
file |
diff |
annotate
|
| Sat, 04 Apr 2009 20:22:39 +0200 |
immler |
reverted to explicitly check the presence of a refutation
|
file |
diff |
annotate
|
| Mon, 16 Mar 2009 14:26:30 +0100 |
immler |
have remote script interrupted like the other provers
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 16:50:25 +0100 |
immler |
use goal instead of Proof State
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 16:46:23 +0100 |
immler |
split relevance-filter and writing of problem-files;
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 15:45:45 +0100 |
immler |
show certain errors to the user
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 15:15:44 +0100 |
immler |
removed connection check;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 10:13:43 +0100 |
immler |
removed global ref dfg_format
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 16:48:01 +0100 |
immler |
changed message
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 11:04:18 +0100 |
immler |
detailed information on atp-failure via Output.debug
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 14:57:33 +0100 |
immler |
tuned;
|
file |
diff |
annotate
|
| Tue, 20 Jan 2009 20:58:08 +0100 |
immler |
pass timeout to prover;
|
file |
diff |
annotate
|
| Tue, 20 Jan 2009 16:05:57 +0100 |
immler |
modified remote script;
|
file |
diff |
annotate
|
| Mon, 12 Jan 2009 16:16:05 +0100 |
immler |
simplified usage of remote-script; added compatible remote-atps
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 20:10:45 +0200 |
wenzelm |
tuned interfaces -- plain prover function, without thread;
|
file |
diff |
annotate
|
| Tue, 14 Oct 2008 16:01:36 +0200 |
wenzelm |
renamed AtpThread to AtpWrapper;
|
file |
diff |
annotate
|