| Tue, 07 Apr 2020 21:52:03 +0200 | wenzelm | more careful handling of interrupts, notably for Isabelle/jEdit Scala Console; | changeset | files |
| Tue, 07 Apr 2020 21:49:36 +0200 | wenzelm | clarified signature: more uniform treatment of stopped/interrupted state; | changeset | files |
| Tue, 07 Apr 2020 21:07:28 +0200 | wenzelm | proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.session_build check; | changeset | files |
| Tue, 07 Apr 2020 20:36:09 +0200 | wenzelm | tuned signature --- avoid confusion with init_view(buffer: Buffer, text_area: JEditTextArea); | changeset | files |
| Tue, 07 Apr 2020 17:03:57 +0200 | nipkow | merged | changeset | files |
| Tue, 07 Apr 2020 17:03:44 +0200 | nipkow | more automation and clarification | changeset | files |