| Sun, 25 Aug 2019 22:17:24 +0200 | wenzelm | proper positions for 'termination' command instead of original 'function' command, e.g. relevant for isabelle mmt_import; | changeset | files |
| Sat, 24 Aug 2019 12:03:00 +0200 | ballarin | Tracing of locale activation. | changeset | files |
| Fri, 23 Aug 2019 21:08:27 +0200 | nipkow | tuned | changeset | files |
| Fri, 23 Aug 2019 15:00:19 +0200 | wenzelm | always export Pure proofs; | changeset | files |
| Fri, 23 Aug 2019 14:32:51 +0200 | wenzelm | clarified 'thm_deps' command; | changeset | files |
| Fri, 23 Aug 2019 13:32:27 +0200 | wenzelm | more compact: avoid pointless PThm rudiments; | changeset | files |
| Fri, 23 Aug 2019 13:20:13 +0200 | wenzelm | clarified signature: prefer total operations; | changeset | files |
| Wed, 21 Aug 2019 20:08:50 +0200 | wenzelm | proper graph traversal: avoid multiple visit of unnamed nodes; | changeset | files |