| 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 |
| Fri, 16 Jun 2017 16:21:17 +0200 | wenzelm | support for separate proof state output; | changeset | files |