| Tue, 05 Nov 2024 23:51:44 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 05 Nov 2024 23:45:39 +0100 | wenzelm | tuned description: plain text documentation is also supported; | changeset | files |
| Tue, 05 Nov 2024 23:27:47 +0100 | wenzelm | merged | changeset | files |
| Tue, 05 Nov 2024 23:01:09 +0100 | wenzelm | update to jdk-21.0.5; | changeset | files |
| Tue, 05 Nov 2024 22:05:50 +0100 | wenzelm | misc tuning and clarification: Doc.Entry supports both plain files and pdf documents; | changeset | files |
| Tue, 05 Nov 2024 19:59:30 +0100 | nipkow | tuned proofs | changeset | files |
| Tue, 05 Nov 2024 19:52:15 +0100 | nipkow | added missing definitions | changeset | files |
| Mon, 04 Nov 2024 22:36:42 +0100 | wenzelm | tuned proofs; | changeset | files |
| Mon, 04 Nov 2024 22:05:20 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 04 Nov 2024 21:54:34 +0100 | wenzelm | support value-oriented Font_Metric, e.g. for caching Pretty output; | changeset | files |
| Mon, 04 Nov 2024 21:25:26 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Nov 2024 21:05:11 +0100 | wenzelm | unused; | changeset | files |
| Mon, 04 Nov 2024 21:05:05 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Nov 2024 21:00:31 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Nov 2024 20:55:01 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 04 Nov 2024 14:50:21 +0100 | wenzelm | more accurate Symbol.Metric, following 6eccae338770; | changeset | files |
| Mon, 04 Nov 2024 14:39:27 +0100 | wenzelm | tuned rendering, notably for HiDPI on Linux (see also ca7e2c21b104); | changeset | files |
| Mon, 04 Nov 2024 14:10:21 +0100 | wenzelm | proper parentheses, for the sake of IntelliJ IDEA; | changeset | files |
| Mon, 04 Nov 2024 12:58:05 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 04 Nov 2024 12:22:24 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 04 Nov 2024 11:21:19 +0100 | wenzelm | tuned proofs; | changeset | files |
| Mon, 04 Nov 2024 11:21:04 +0100 | wenzelm | tuned GUI (again, see 0521e65af41e); | changeset | files |
| Sun, 03 Nov 2024 22:29:07 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sun, 03 Nov 2024 21:12:50 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 03 Nov 2024 21:04:12 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 03 Nov 2024 20:53:12 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 03 Nov 2024 20:23:19 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 03 Nov 2024 20:15:12 +0100 | wenzelm | tuned names; | changeset | files |
| Sun, 03 Nov 2024 20:05:06 +0100 | wenzelm | more robust; | changeset | files |
| Sun, 03 Nov 2024 20:01:26 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 03 Nov 2024 20:00:54 +0100 | wenzelm | unused; | changeset | files |
| Sun, 03 Nov 2024 19:38:30 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Sun, 03 Nov 2024 14:11:01 +0100 | wenzelm | tuned GUI; | changeset | files |
| Sat, 02 Nov 2024 20:27:41 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 02 Nov 2024 20:24:53 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 02 Nov 2024 20:14:44 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 02 Nov 2024 16:22:06 +0100 | wenzelm | tuned imports; | changeset | files |
| Sat, 02 Nov 2024 16:11:02 +0100 | wenzelm | tuned: remove redundant checks; | changeset | files |
| Sat, 02 Nov 2024 16:08:26 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 02 Nov 2024 16:03:26 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 02 Nov 2024 15:59:58 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 02 Nov 2024 15:42:37 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 02 Nov 2024 15:35:43 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 02 Nov 2024 15:28:17 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | changeset | files |
| Sat, 02 Nov 2024 15:22:50 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 02 Nov 2024 14:58:50 +0100 | wenzelm | clarified modules: more re-usable; | changeset | files |
| Sat, 02 Nov 2024 14:56:13 +0100 | wenzelm | proper protocol messages (amending 7a1f9e571046); | changeset | files |
| Fri, 01 Nov 2024 19:20:52 +0100 | wenzelm | clarified treatment of caret_range: better support for multiple (unrelated) selections; | changeset | files |
| Fri, 01 Nov 2024 19:11:40 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 01 Nov 2024 18:55:47 +0100 | wenzelm | support incremental isabelle.select-structure --- like select-block, but based on selection instead of caret; | changeset | files |
| Fri, 01 Nov 2024 18:17:03 +0100 | wenzelm | clarified rendering: entity acts as atomic notation / expression; | changeset | files |
| Fri, 01 Nov 2024 18:12:40 +0100 | wenzelm | more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements; | changeset | files |
| Fri, 01 Nov 2024 17:13:42 +0100 | wenzelm | more NEWS; | changeset | files |
| Fri, 01 Nov 2024 16:57:33 +0100 | wenzelm | merged | changeset | files |
| Fri, 01 Nov 2024 16:53:10 +0100 | wenzelm | support Isabelle/jEdit action isabelle.select_structure; | changeset | files |
| Fri, 01 Nov 2024 15:40:31 +0100 | wenzelm | more operations; | changeset | files |
| Tue, 29 Oct 2024 21:51:21 +0100 | wenzelm | clarified text; | changeset | files |
| Tue, 29 Oct 2024 12:30:15 +0100 | wenzelm | update to jedit5.7.0; | changeset | files |
| Mon, 28 Oct 2024 09:43:28 +0100 | wenzelm | GUI option "editor_auto_hovering" for Output panel; | changeset | files |
| Mon, 28 Oct 2024 09:40:28 +0100 | wenzelm | update to scala-3.3.4 LTS; | changeset | files |