| Sun, 02 Sep 2012 21:01:11 +0200 | wenzelm | basic setup for HTML5 panel; | changeset | files |
| 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 |