| Sat, 22 Apr 2017 12:52:16 +0200 | wenzelm | clarified parent session images, to avoid duplicate loading of theories; | changeset | files |
| Fri, 21 Apr 2017 21:41:32 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 21 Apr 2017 21:36:49 +0200 | wenzelm | removed pointless document; | changeset | files |