| Fri, 05 Jun 2009 14:07:54 +0200 |
haftmann |
CONTRIBUTORS
|
file |
diff |
annotate
|
| Sat, 25 Apr 2009 20:05:21 +0200 |
wenzelm |
post Isabelle2009 version;
|
file |
diff |
annotate
|
| Wed, 08 Apr 2009 16:35:03 +0200 |
wenzelm |
updated official title of contribution by Johannes Hoelzl;
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 15:36:31 +0100 |
wenzelm |
more contributors;
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 21:34:33 +0100 |
wenzelm |
A Serbian theory, by Filip Maric.
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 14:17:27 +0100 |
wenzelm |
more CONTRIBUTORS;
|
file |
diff |
annotate
|
| Fri, 27 Feb 2009 20:00:54 +0100 |
wenzelm |
more CONTRIBUTORS;
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 07:59:30 +1100 |
kleing |
added find_consts to NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Wed, 11 Feb 2009 23:05:58 +1100 |
kleing |
updated NEWS etc with "solves" criterion and auto_solves
|
file |
diff |
annotate
|
| Thu, 08 Jan 2009 17:25:06 +0100 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Sat, 27 Dec 2008 17:35:01 +0100 |
krauss |
tuned NEWS; CONTRIBUTORS
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:55:34 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Fri, 28 Nov 2008 11:55:46 +0100 |
kleing |
added Tim's find_theorems performance patch
|
file |
diff |
annotate
|
| Wed, 15 Oct 2008 21:15:35 +0200 |
wenzelm |
generic ATP manager based on threads (by Fabian Immler);
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 14:06:19 +0200 |
wenzelm |
Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
|
file |
diff |
annotate
|