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