Sun, 20 Aug 2017 20:38:37 +0200 | wenzelm | reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin; | changeset | files |
Sun, 20 Aug 2017 20:05:36 +0200 | wenzelm | proper update of options (amending c3d6dd17d626); | changeset | files |
Sun, 20 Aug 2017 18:45:42 +0200 | wenzelm | more robust plugin restart; | changeset | files |