| 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 |
| Fri, 02 Aug 2013 12:17:55 +0200 | wenzelm | tuned proofs; | changeset | files |