| Mon, 02 Jan 2023 20:39:21 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Mon, 02 Jan 2023 20:24:43 +0100 |
wenzelm |
more robust: prefer internal theory names;
|
changeset |
files
|
| Mon, 02 Jan 2023 16:02:16 +0100 |
wenzelm |
clarified session_sources (again, see also 9d0e6ea7aa68);
|
changeset |
files
|
| Mon, 02 Jan 2023 15:41:50 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Mon, 02 Jan 2023 15:30:57 +0100 |
wenzelm |
tuned output;
|
changeset |
files
|
| Mon, 02 Jan 2023 15:28:33 +0100 |
wenzelm |
clarified signature: more general operations;
|
changeset |
files
|
| Mon, 02 Jan 2023 15:18:13 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Mon, 02 Jan 2023 15:05:15 +0100 |
wenzelm |
clarified signature: more explicit types (see also 90c552d28d36);
|
changeset |
files
|
| Mon, 02 Jan 2023 13:54:40 +0100 |
wenzelm |
do write_session_sources early, to have information available in build job;
|
changeset |
files
|
| Mon, 02 Jan 2023 13:09:38 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
changeset |
files
|
| Mon, 02 Jan 2023 12:56:31 +0100 |
wenzelm |
do not bundle Isabelle/Naproche, while it keeps changing;
|
changeset |
files
|
| Mon, 02 Jan 2023 12:45:24 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 02 Jan 2023 12:34:20 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 02 Jan 2023 12:29:08 +0100 |
wenzelm |
clarified signature: uniform master_dir instead of separate field;
|
changeset |
files
|
| Mon, 02 Jan 2023 11:57:57 +0100 |
wenzelm |
more standard master_dir;
|
changeset |
files
|
| Sun, 01 Jan 2023 22:54:40 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
changeset |
files
|
| 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
|