| Wed, 25 Mar 2009 14:47:08 +0100 | wenzelm | avoid mixing of left/right associative infixes, to make it work with experimental Poly/ML 5.3 branch; | changeset | files |
| Tue, 24 Mar 2009 23:43:58 +0100 | wenzelm | simplified addPrettyPrinter setup: may pass (fn ...) directly if type constraints are omitted -- addPrettyPrinter treated as a special case internally; | changeset | files |
| Tue, 24 Mar 2009 22:56:17 +0100 | wenzelm | status_of: need to include local promises as well! | changeset | files |
| Tue, 24 Mar 2009 22:55:49 +0100 | wenzelm | status_of: simultaneous list; | changeset | files |
| Tue, 24 Mar 2009 21:24:53 +0100 | wenzelm | display derivation status of thms; | changeset | files |
| Tue, 24 Mar 2009 19:37:50 +0100 | wenzelm | recover old ids; | changeset | files |