| Thu, 05 Sep 2013 01:58:48 +0200 | panny | support indirect corecursion | changeset | files |
| Wed, 04 Sep 2013 23:57:38 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 04 Sep 2013 22:37:19 +0200 | wenzelm | tuned proofs; | changeset | files |
| 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 |
| Wed, 04 Sep 2013 02:11:50 +0200 | panny | various refactoring; | changeset | files |
| Wed, 04 Sep 2013 13:22:03 +0200 | wenzelm | expose basic Symbol.properties (uninterpreted); | changeset | files |