| 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 |