nipkow [Tue, 05 Nov 2024 19:52:15 +0100] rev 81348
added missing definitions
wenzelm [Mon, 04 Nov 2024 22:36:42 +0100] rev 81347
tuned proofs;
more Isabelle symbols;
wenzelm [Mon, 04 Nov 2024 22:05:20 +0100] rev 81346
clarified modules;
wenzelm [Mon, 04 Nov 2024 21:54:34 +0100] rev 81345
support value-oriented Font_Metric, e.g. for caching Pretty output;
wenzelm [Mon, 04 Nov 2024 21:25:26 +0100] rev 81344
tuned;
wenzelm [Mon, 04 Nov 2024 21:05:11 +0100] rev 81343
unused;
wenzelm [Mon, 04 Nov 2024 21:05:05 +0100] rev 81342
tuned;
wenzelm [Mon, 04 Nov 2024 21:00:31 +0100] rev 81341
tuned;
wenzelm [Mon, 04 Nov 2024 20:55:01 +0100] rev 81340
clarified signature;
clarified modules;
wenzelm [Mon, 04 Nov 2024 14:50:21 +0100] rev 81339
more accurate Symbol.Metric, following 6eccae338770;
wenzelm [Mon, 04 Nov 2024 14:39:27 +0100] rev 81338
tuned rendering, notably for HiDPI on Linux (see also ca7e2c21b104);
wenzelm [Mon, 04 Nov 2024 14:10:21 +0100] rev 81337
proper parentheses, for the sake of IntelliJ IDEA;
wenzelm [Mon, 04 Nov 2024 12:58:05 +0100] rev 81336
clarified modules;
wenzelm [Mon, 04 Nov 2024 12:22:24 +0100] rev 81335
clarified signature;
wenzelm [Mon, 04 Nov 2024 11:21:19 +0100] rev 81334
tuned proofs;
wenzelm [Mon, 04 Nov 2024 11:21:04 +0100] rev 81333
tuned GUI (again, see 0521e65af41e);
wenzelm [Sun, 03 Nov 2024 22:29:07 +0100] rev 81332
tuned proofs;
wenzelm [Sun, 03 Nov 2024 21:12:50 +0100] rev 81331
tuned;
wenzelm [Sun, 03 Nov 2024 21:04:12 +0100] rev 81330
tuned comments;
wenzelm [Sun, 03 Nov 2024 20:53:12 +0100] rev 81329
clarified signature;
wenzelm [Sun, 03 Nov 2024 20:23:19 +0100] rev 81328
tuned;
wenzelm [Sun, 03 Nov 2024 20:15:12 +0100] rev 81327
tuned names;
wenzelm [Sun, 03 Nov 2024 20:05:06 +0100] rev 81326
more robust;
wenzelm [Sun, 03 Nov 2024 20:01:26 +0100] rev 81325
clarified signature;
wenzelm [Sun, 03 Nov 2024 20:00:54 +0100] rev 81324
unused;
wenzelm [Sun, 03 Nov 2024 19:38:30 +0100] rev 81323
clarified signature: more explicit types;
wenzelm [Sun, 03 Nov 2024 14:11:01 +0100] rev 81322
tuned GUI;
wenzelm [Sat, 02 Nov 2024 20:27:41 +0100] rev 81321
tuned;
wenzelm [Sat, 02 Nov 2024 20:24:53 +0100] rev 81320
clarified signature;
wenzelm [Sat, 02 Nov 2024 20:14:44 +0100] rev 81319
clarified signature;
wenzelm [Sat, 02 Nov 2024 16:22:06 +0100] rev 81318
tuned imports;
wenzelm [Sat, 02 Nov 2024 16:11:02 +0100] rev 81317
tuned: remove redundant checks;
wenzelm [Sat, 02 Nov 2024 16:08:26 +0100] rev 81316
tuned;
wenzelm [Sat, 02 Nov 2024 16:03:26 +0100] rev 81315
clarified modules;
wenzelm [Sat, 02 Nov 2024 15:59:58 +0100] rev 81314
clarified signature;
wenzelm [Sat, 02 Nov 2024 15:42:37 +0100] rev 81313
clarified signature;
wenzelm [Sat, 02 Nov 2024 15:35:43 +0100] rev 81312
clarified signature;
wenzelm [Sat, 02 Nov 2024 15:28:17 +0100] rev 81311
tuned: fewer warnings in IntelliJ IDEA;
wenzelm [Sat, 02 Nov 2024 15:22:50 +0100] rev 81310
clarified signature;
wenzelm [Sat, 02 Nov 2024 14:58:50 +0100] rev 81309
clarified modules: more re-usable;
wenzelm [Sat, 02 Nov 2024 14:56:13 +0100] rev 81308
proper protocol messages (amending 7a1f9e571046);
wenzelm [Fri, 01 Nov 2024 19:20:52 +0100] rev 81307
clarified treatment of caret_range: better support for multiple (unrelated) selections;
wenzelm [Fri, 01 Nov 2024 19:11:40 +0100] rev 81306
tuned whitespace;
wenzelm [Fri, 01 Nov 2024 18:55:47 +0100] rev 81305
support incremental isabelle.select-structure --- like select-block, but based on selection instead of caret;
wenzelm [Fri, 01 Nov 2024 18:17:03 +0100] rev 81304
clarified rendering: entity acts as atomic notation / expression;
wenzelm [Fri, 01 Nov 2024 18:12:40 +0100] rev 81303
more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements;
wenzelm [Fri, 01 Nov 2024 17:13:42 +0100] rev 81302
more NEWS;
wenzelm [Fri, 01 Nov 2024 16:57:33 +0100] rev 81301
merged