Sat, 03 Jul 2010 22:33:10 +0200 | wenzelm | Toplevel.run_command: asynchronous state output, as an attempt to address potentially slow pretty printing (e.g. in HOL/Bali); | changeset | files |
Sat, 03 Jul 2010 20:36:30 +0200 | wenzelm | more precise timing; | changeset | files |