| 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 |