| Fri, 02 Aug 2013 22:13:31 +0200 | wenzelm | prefer canonical order, to avoid potential fluctuation due to front-end edits; | changeset | files |
| Fri, 02 Aug 2013 20:47:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 02 Aug 2013 16:02:06 +0200 | wenzelm | minimal print function "find_theorems", which merely echos its arguments; | changeset | files |
| 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 |