| Tue, 29 May 2018 20:01:50 +0200 | nipkow | slicker proof | changeset | files |
| Tue, 29 May 2018 14:05:59 +0200 | nipkow | canonical names | changeset | files |
| Mon, 28 May 2018 23:15:30 +0100 | paulson | merged | changeset | files |
| Mon, 28 May 2018 23:15:23 +0100 | paulson | more general tidying | changeset | files |
| Mon, 28 May 2018 22:29:52 +0200 | wenzelm | merged | changeset | files |
| Mon, 28 May 2018 22:25:10 +0200 | wenzelm | support to dump build database produced by PIDE session; | changeset | files |
| Mon, 28 May 2018 21:29:03 +0200 | wenzelm | more accurate theory_graph: avoid imports of loaded_theories with incomplete node name; | changeset | files |