| Sun, 01 Jan 2023 22:01:53 +0100 | wenzelm | merged | changeset | files |
| Sun, 01 Jan 2023 22:01:45 +0100 | wenzelm | more robust, for the sake of very rare duplicate files: src/Doc/Prog_Prove/MyList.thy and $AFP/Case_Labeling/util.ML; | changeset | files |
| Sun, 01 Jan 2023 21:44:08 +0100 | wenzelm | store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions; | changeset | files |
| Sat, 31 Dec 2022 15:48:12 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 31 Dec 2022 15:45:53 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 31 Dec 2022 15:42:13 +0100 | wenzelm | tunes signature; | changeset | files |
| Sat, 31 Dec 2022 15:32:12 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 31 Dec 2022 14:58:34 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 31 Dec 2022 14:54:20 +0100 | wenzelm | more systematic Sessions.illegal_theory, based on File_Format.theory_excluded; | changeset | files |
| Sat, 31 Dec 2022 12:38:48 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 31 Dec 2022 12:35:00 +0100 | wenzelm | unused; | changeset | files |
| Sat, 31 Dec 2022 12:31:31 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 31 Dec 2022 12:25:34 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 31 Dec 2022 12:16:22 +0100 | wenzelm | tuned: no need to map master_dir, which does not participate in comparison; | changeset | files |
| Sat, 31 Dec 2022 12:10:14 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 31 Dec 2022 11:58:45 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 31 Dec 2022 11:51:04 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 31 Dec 2022 11:48:32 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 31 Dec 2022 11:35:28 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 01 Jan 2023 12:24:00 +0000 | paulson | removed an unfortunate sledgehammer command | changeset | files |
| Sun, 01 Jan 2023 01:43:02 +0000 | paulson | A couple of patches | changeset | files |
| Sun, 01 Jan 2023 00:45:55 +0000 | paulson | Big simplifications of old proofs | changeset | files |
| Sat, 31 Dec 2022 11:09:19 +0000 | paulson | repaired a proof | changeset | files |
| Fri, 30 Dec 2022 23:21:37 +0000 | paulson | Continued proof simplifications | changeset | files |
| Fri, 30 Dec 2022 20:59:38 +0000 | paulson | merged | changeset | files |
| Fri, 30 Dec 2022 17:48:41 +0000 | paulson | A further round of proof consolidation | changeset | files |
| Fri, 30 Dec 2022 21:27:57 +0100 | wenzelm | tuned signature: avoid too many aliases; | changeset | files |
| Fri, 30 Dec 2022 21:09:50 +0100 | wenzelm | proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI; | changeset | files |
| Fri, 30 Dec 2022 20:38:29 +0100 | wenzelm | more robust: avoid detour via somewhat fragile Node.Name.path; | changeset | files |
| Fri, 30 Dec 2022 20:26:28 +0100 | wenzelm | clarified generic path operations; | changeset | files |
| Fri, 30 Dec 2022 16:23:32 +0100 | wenzelm | more flexible: implicit support for Windows; | changeset | files |
| Fri, 30 Dec 2022 13:25:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 30 Dec 2022 12:41:08 +0100 | wenzelm | clarified output; | changeset | files |
| Fri, 30 Dec 2022 12:34:49 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Dec 2022 22:14:25 +0000 | paulson | merged | changeset | files |
| Thu, 29 Dec 2022 22:14:12 +0000 | paulson | More tidying | changeset | files |
| Thu, 29 Dec 2022 16:32:56 +0000 | paulson | Further cleaning up of messy proofs | changeset | files |
| Thu, 29 Dec 2022 11:46:32 +0000 | paulson | merged | changeset | files |
| Thu, 29 Dec 2022 11:46:06 +0000 | paulson | reorganisation and simplification of theorems about transcendental functions | changeset | files |
| Thu, 29 Dec 2022 16:44:45 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 29 Dec 2022 16:17:29 +0100 | wenzelm | support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag"; | changeset | files |
| Thu, 29 Dec 2022 15:54:49 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 29 Dec 2022 15:39:18 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 29 Dec 2022 14:54:32 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 29 Dec 2022 13:00:16 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Dec 2022 12:34:40 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Dec 2022 12:27:55 +0100 | wenzelm | discontinued somewhat pointless exception FAILURE with its "alt_state", which was originally due to quasi-mutable states (see 169e5b07ec06); | changeset | files |
| Thu, 29 Dec 2022 12:08:58 +0100 | wenzelm | tuned --- more robust ML patterns; | changeset | files |
| Thu, 29 Dec 2022 11:49:11 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 22:37:46 +0100 | wenzelm | merged | changeset | files |
| Wed, 28 Dec 2022 17:39:34 +0100 | wenzelm | tuned signature, for the sake of AFP/Isabelle_C; | changeset | files |
| Wed, 28 Dec 2022 16:49:43 +0100 | wenzelm | more uniform report of Markup.language_path; | changeset | files |
| Wed, 28 Dec 2022 16:14:37 +0100 | wenzelm | omit pointless guard: ultimately observed by Isabelle_Process.report_message; | changeset | files |
| Wed, 28 Dec 2022 16:13:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Dec 2022 16:02:12 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 28 Dec 2022 15:25:37 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 14:52:03 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Dec 2022 14:40:39 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 14:08:00 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 28 Dec 2022 12:30:18 +0100 | wenzelm | tuned output; | changeset | files |