Tue, 11 Aug 2015 20:05:27 +0200 | wenzelm | print values for stack entry; | changeset | files |
Tue, 11 Aug 2015 18:42:29 +0200 | wenzelm | clarified output; | changeset | files |
Tue, 11 Aug 2015 18:00:28 +0200 | wenzelm | default ML context for all command transactions, e.g. relevant for debugging and toplevel pretty-printing; | changeset | files |