| Wed, 06 Nov 2024 15:38:45 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 06 Nov 2024 15:17:39 +0100 | wenzelm | more robust and uniform metric, still with special treatment motivated by jEdit (see also 0cdfce0bf956); | changeset | files |
| Wed, 06 Nov 2024 11:05:18 +0100 | wenzelm | misc tuning; | changeset | files |
| Fri, 08 Nov 2024 18:13:55 +0100 | Fabian Huch | try0: avoid mapping background theory -- should be handled by Context_Position visibility; | changeset | files |
| Thu, 31 Oct 2024 11:35:24 +0100 | Fabian Huch | try0: stop early if more subgoals are created; | changeset | files |
| Fri, 25 Oct 2024 16:38:15 +0200 | Fabian Huch | try0: filter out untagged thms; | changeset | files |
| Thu, 24 Oct 2024 19:13:49 +0200 | Fabian Huch | try0: support literal facts; | changeset | files |
| Thu, 24 Oct 2024 16:46:25 +0200 | Fabian Huch | try0: add 'use' modifier for thms to insert; | changeset | files |
| Thu, 24 Oct 2024 16:45:09 +0200 | Fabian Huch | try0: use extra thms via insert; | changeset | files |
| Thu, 24 Oct 2024 18:25:17 +0200 | Fabian Huch | clarified: proper type for facts; | changeset | files |
| Thu, 24 Oct 2024 18:16:36 +0200 | Fabian Huch | clarified: proper type; | changeset | files |
| Thu, 24 Oct 2024 14:08:28 +0200 | Fabian Huch | tuned; | changeset | files |
| Thu, 24 Oct 2024 14:07:13 +0200 | Fabian Huch | tuned; | changeset | files |
| Thu, 24 Oct 2024 11:37:41 +0200 | Fabian Huch | try0: pass tagged thms for better control; | changeset | files |
| Tue, 22 Oct 2024 17:31:54 +0200 | Fabian Huch | clarified: proper return type; | changeset | files |
| Tue, 22 Oct 2024 14:34:13 +0200 | Fabian Huch | improve try0: solve multiple subgoals at once, if possible; | changeset | files |
| Tue, 22 Oct 2024 14:31:25 +0200 | Fabian Huch | tuned: unused parameter; | changeset | files |
| Fri, 08 Nov 2024 11:18:08 +0100 | nipkow | tuned | changeset | files |
| Thu, 07 Nov 2024 16:21:57 +0100 | nipkow | better termination behaviour | changeset | files |
| Wed, 06 Nov 2024 18:10:39 +0100 | nipkow | uniform name T_f for closed-form lemmas for function T_f | changeset | files |
| Wed, 06 Nov 2024 16:27:06 +0100 | nipkow | More time for primitive functions | changeset | files |
| Wed, 06 Nov 2024 16:19:45 +0100 | nipkow | merged Reverse into Time_Funs | changeset | files |
| 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 |
| Mon, 28 Oct 2024 08:48:31 +0100 | wenzelm | removed obsolete markup for "open_block" (see also d5ad89fda714): Isabelle/Scala directly supports XML.Elem pretty-printing; | changeset | files |
| Fri, 01 Nov 2024 14:10:52 +0000 | paulson | Library material from Eberl's Parallel_Shear_Sort | changeset | files |
| Fri, 01 Nov 2024 12:15:53 +0000 | paulson | Trying to clean up these horribly ugly old proofs, but the requirement of constructivity makes it very difficult | changeset | files |
| Thu, 31 Oct 2024 18:43:32 +0100 | Manuel Eberl | use automatically generated time function in HOL-Data_Structures.Selection | changeset | files |
| Thu, 31 Oct 2024 15:46:53 +0100 | nipkow | merged | changeset | files |
| Thu, 31 Oct 2024 15:46:33 +0100 | nipkow | better time_functions (let) | changeset | files |
| Thu, 31 Oct 2024 14:58:53 +0100 | Fabian Huch | less hidden configuration; | changeset | files |
| Thu, 31 Oct 2024 14:56:59 +0100 | Fabian Huch | proper passwordless smtp check: must be null; | changeset | files |
| Thu, 31 Oct 2024 09:24:10 +0100 | blanchet | adjusted documentation | changeset | files |
| Tue, 29 Oct 2024 10:26:06 +0100 | nipkow | more attribute tuning | changeset | files |
| Tue, 29 Oct 2024 07:41:52 +0100 | nipkow | tuned attributes | changeset | files |
| Mon, 28 Oct 2024 18:48:28 +0100 | nipkow | merged | changeset | files |
| Mon, 28 Oct 2024 18:48:14 +0100 | nipkow | added lemmas | changeset | files |
| Sun, 27 Oct 2024 22:35:02 +0100 | wenzelm | tuned proofs; | changeset | files |