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