| Wed, 04 Sep 2013 21:25:03 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 04 Sep 2013 17:40:07 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 04 Sep 2013 17:36:37 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 04 Sep 2013 17:35:47 +0200 | wenzelm | interpret keys more movement only when needed; | changeset | files |
| Wed, 04 Sep 2013 16:03:45 +0200 | wenzelm | non-persistent print_state: trade-off between JVM space vs. ML time; | changeset | files |
| Wed, 04 Sep 2013 15:27:24 +0200 | wenzelm | some explicit indication of Proof General legacy; | changeset | files |
| Wed, 04 Sep 2013 13:45:46 +0200 | panny | merge | changeset | files |