| Sat, 03 Jul 2010 23:24:36 +0200 | wenzelm | run_command: actually observe "print" flag; | changeset | files |
| 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 |
| Sat, 03 Jul 2010 20:20:13 +0200 | wenzelm | more efficient document model/view -- avoid repeated iteration over commands from start, prefer bulk operations; | changeset | files |
| Fri, 02 Jul 2010 21:48:54 +0200 | wenzelm | standard argument order; | changeset | files |
| Fri, 02 Jul 2010 21:41:06 +0200 | wenzelm | do not open auxiliary ML structures; | changeset | files |