Mon, 07 May 2018 22:48:24 +0200 | wenzelm | merged | changeset | files |
Mon, 07 May 2018 19:40:55 +0200 | wenzelm | return exports as result for Isabelle server; | changeset | files |
Mon, 07 May 2018 18:25:26 +0200 | wenzelm | more checks; | changeset | files |