| Sun, 24 Feb 2019 12:49:32 +0100 | wenzelm | formal update of patches -- no change of content; | file | diff | annotate |
| Sun, 20 Jan 2019 21:26:15 +0100 | wenzelm | avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts; | file | diff | annotate |