| Wed, 04 Sep 2019 14:16:27 +0100 | paulson | Theory Derivative no longer depends on Path_Connected | changeset | files |
| Mon, 02 Sep 2019 19:44:12 +0200 | wenzelm | more explicit type Dump.Session, with context information; | changeset | files |
| Mon, 02 Sep 2019 16:28:09 +0200 | wenzelm | proper orientation; | changeset | files |
| Mon, 02 Sep 2019 11:46:27 +0200 | wenzelm | clarified signature: prefer operations without position; | changeset | files |
| Mon, 02 Sep 2019 10:41:14 +0200 | wenzelm | prefer Theory_Ordering theory names are unique (due to proper session context); | changeset | files |
| Sun, 01 Sep 2019 22:57:25 +0200 | wenzelm | clarified signature: full dependency graph; | changeset | files |
| Sat, 31 Aug 2019 21:34:39 +0200 | wenzelm | merged | changeset | files |