Sat, 07 Jan 2017 16:16:41 +0100 | wenzelm | Line.Document consists of independently allocated strings; | changeset | files |
Sat, 07 Jan 2017 15:25:01 +0100 | wenzelm | obsolete; | changeset | files |
Sat, 07 Jan 2017 15:16:36 +0100 | wenzelm | clarified buffer events: exit model while loading; | changeset | files |