| Sat, 17 Jun 2017 14:52:23 +0200 | wenzelm | merged | changeset | files |
| Sat, 17 Jun 2017 14:51:56 +0200 | wenzelm | updated package; | changeset | files |
| Sat, 17 Jun 2017 14:47:36 +0200 | wenzelm | maintain overlays within main state of document models; | changeset | files |
| Fri, 16 Jun 2017 22:40:05 +0200 | wenzelm | proper treatment of editor overlays; | changeset | files |
| Fri, 16 Jun 2017 22:38:19 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 16 Jun 2017 21:04:39 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 16 Jun 2017 20:44:36 +0200 | wenzelm | tuned signature; | changeset | files |