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 |