| Fri, 02 Aug 2013 22:17:53 +0200 | wenzelm | more general Output.result: allow to update arbitrary properties; | changeset | files |
| 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 |