Thu, 12 Sep 2019 13:33:09 +0200 | wenzelm | find theory files via session structure: much faster Prover IDE startup; | changeset | files |
Wed, 11 Sep 2019 20:48:10 +0200 | wenzelm | find theory node name via session directories; | changeset | files |
Wed, 11 Sep 2019 16:06:10 +0200 | wenzelm | disallow overlapping session directories; | changeset | files |