| Tue, 16 Aug 2011 07:17:15 +0900 | Cezary Kaliszyk | Quotient Package: make quotient_type work with separate set type | changeset | files |
| Mon, 15 Aug 2011 22:31:17 +0200 | wenzelm | updated README; | changeset | files |
| Mon, 15 Aug 2011 21:54:32 +0200 | wenzelm | touch descendants of edited nodes; | changeset | files |
| Mon, 15 Aug 2011 21:05:30 +0200 | wenzelm | parellel scheduling of node edits and execution; | changeset | files |
| Mon, 15 Aug 2011 20:38:16 +0200 | wenzelm | tuned error message; | changeset | files |
| Mon, 15 Aug 2011 20:19:41 +0200 | wenzelm | retrieve imports from document state, with fall-back on theory loader for preloaded theories; | changeset | files |
| Mon, 15 Aug 2011 19:27:55 +0200 | wenzelm | explicit check of finished evaluation; | changeset | files |