| Tue, 10 Apr 2012 11:42:15 +0200 |
wenzelm |
some coverage of HOL/TPTP;
|
changeset |
files
|
| Tue, 10 Apr 2012 06:45:15 +0100 |
sultana |
added graph-conversion utility for TPTP files
|
changeset |
files
|
| Tue, 10 Apr 2012 06:45:15 +0100 |
sultana |
moved non-interpret-specific code to different module
|
changeset |
files
|
| Mon, 09 Apr 2012 23:06:14 +0200 |
wenzelm |
disable parallel proofs (again) -- still suffering from instabilites wrt. interrupts;
|
changeset |
files
|
| Mon, 09 Apr 2012 21:29:47 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Mon, 09 Apr 2012 20:57:23 +0200 |
wenzelm |
slightly faster default compilation of Isabelle/Scala;
|
changeset |
files
|
| Mon, 09 Apr 2012 20:42:05 +0200 |
wenzelm |
more explicit last exec result;
|
changeset |
files
|
| Mon, 09 Apr 2012 19:50:04 +0200 |
wenzelm |
dynamic propagation of node "updated" status, which is required to propagate edits and re-assigments and allow direct memo_result;
|
changeset |
files
|
| Mon, 09 Apr 2012 17:38:39 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 09 Apr 2012 17:22:23 +0200 |
wenzelm |
simplified Future.cancel/cancel_group (again) -- running threads only;
|
changeset |
files
|
| Mon, 09 Apr 2012 15:10:52 +0200 |
wenzelm |
added ML pretty-printing;
|
changeset |
files
|
| Sat, 07 Apr 2012 20:35:01 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 07 Apr 2012 20:10:13 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 07 Apr 2012 20:24:39 +0200 |
haftmann |
explicit constructor Nat leaves nat_of as conversion
|
changeset |
files
|