| Sun, 02 Sep 2012 19:26:05 +0200 | wenzelm | basic support for Java FX; | changeset | files |
| Sun, 02 Sep 2012 14:02:05 +0200 | wenzelm | maintain stable state of node entries from last round -- bypass slightly different Thm.join_theory_proofs; | changeset | files |
| Sat, 01 Sep 2012 19:46:21 +0200 | wenzelm | removed unused material; | changeset | files |
| Sat, 01 Sep 2012 19:43:18 +0200 | wenzelm | discontinued complicated/unreliable notion of recent proofs within context; | changeset | files |
| Sat, 01 Sep 2012 19:27:28 +0200 | wenzelm | central management of forked goals wrt. transaction id; | changeset | files |
| Fri, 31 Aug 2012 22:34:37 +0200 | wenzelm | merged | changeset | files |