| 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 |
| Mon, 28 May 2018 17:40:34 +0200 | wenzelm | clarified signature: Known.theories retains Document.Node.Entry (with header); | changeset | files |
| Mon, 28 May 2018 13:35:43 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 28 May 2018 11:15:17 +0200 | wenzelm | tuned signature; | changeset | files |