| Fri, 02 Aug 2013 16:00:14 +0200 | wenzelm | support print functions with explicit arguments, as provided by overlays; | changeset | files |
| Fri, 02 Aug 2013 14:26:09 +0200 | wenzelm | maintain overlays within node perspective; | changeset | files |
| Fri, 02 Aug 2013 12:19:29 +0200 | wenzelm | some tracking of command location; | changeset | files |
| Fri, 02 Aug 2013 12:17:55 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 02 Aug 2013 11:51:21 +0200 | wenzelm | dockable window for "find" dialog (GUI only); | changeset | files |
| Fri, 02 Aug 2013 11:50:38 +0200 | wenzelm | tuned; | changeset | files |