| Thu, 09 Apr 2020 14:35:36 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Apr 2020 20:38:06 +0200 | wenzelm | clarified init of settings vs. services; | changeset | files |
| Wed, 08 Apr 2020 20:22:50 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 08 Apr 2020 14:52:54 +0200 | wenzelm | merged | changeset | files |
| Wed, 08 Apr 2020 14:25:28 +0200 | wenzelm | another isabelle_scala_service; | changeset | files |
| Wed, 08 Apr 2020 14:09:32 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Apr 2020 14:06:26 +0200 | wenzelm | tuned -- avoid deprecated operations; | changeset | files |
| Wed, 08 Apr 2020 13:14:05 +0200 | wenzelm | more general support for isabelle_scala_service; | changeset | files |
| Wed, 08 Apr 2020 14:48:55 +0200 | wenzelm | merged | changeset | files |
| Wed, 08 Apr 2020 14:14:50 +0200 | wenzelm | merged | changeset | files |
| Wed, 08 Apr 2020 12:28:42 +0200 | wenzelm | Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1 | changeset | files |
| Sat, 04 Apr 2020 22:39:42 +0200 | wenzelm | more robust: notably for sledgehammer with 'using' and prover=cvc4; | changeset | files |
| Tue, 07 Apr 2020 22:13:22 +0200 | wenzelm | NEWS; | changeset | files |
| 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 |
| Tue, 07 Apr 2020 09:35:59 +0100 | paulson | merged | changeset | files |
| Mon, 06 Apr 2020 22:46:55 +0100 | paulson | removed more applys | changeset | files |
| Mon, 06 Apr 2020 22:29:40 +0200 | wenzelm | merged; | changeset | files |
| Mon, 06 Apr 2020 22:28:41 +0200 | wenzelm | more robust interrupts; | changeset | files |
| Mon, 06 Apr 2020 21:58:24 +0200 | wenzelm | tuned message; | changeset | files |
| Mon, 06 Apr 2020 21:22:42 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 06 Apr 2020 21:18:16 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 06 Apr 2020 21:12:11 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 06 Apr 2020 21:07:38 +0200 | wenzelm | more robust interrupt handling; | changeset | files |