| Fri, 17 Jan 2025 23:00:13 +0000 |
paulson |
merged
default tip
|
changeset |
files
|
| Fri, 17 Jan 2025 20:24:09 +0000 |
paulson |
merged
|
changeset |
files
|
| Fri, 17 Jan 2025 20:24:02 +0000 |
paulson |
A variety of tweaks
|
changeset |
files
|
| Fri, 17 Jan 2025 23:15:47 +0100 |
wenzelm |
avoid legacy warnings in "test_code check in OCaml";
|
changeset |
files
|
| Fri, 17 Jan 2025 23:10:39 +0100 |
wenzelm |
proper condition for strict "test_code check in OCaml" and "test_code check in GHC";
|
changeset |
files
|
| Fri, 17 Jan 2025 22:38:15 +0100 |
wenzelm |
more NEWS;
|
changeset |
files
|
| Fri, 17 Jan 2025 21:30:08 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 17 Jan 2025 20:30:01 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Fri, 17 Jan 2025 19:56:34 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 19:46:36 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 19:40:56 +0100 |
wenzelm |
clarified pattern matching;
|
changeset |
files
|
| Fri, 17 Jan 2025 19:30:26 +0100 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Fri, 17 Jan 2025 17:01:43 +0100 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Fri, 17 Jan 2025 16:49:01 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 16:22:49 +0100 |
wenzelm |
clarified exceptions and messages: use "error" only for user-errors, not system failures;
|
changeset |
files
|
| Fri, 17 Jan 2025 16:13:48 +0100 |
wenzelm |
minor performance tuning: more elementary operations;
|
changeset |
files
|
| Fri, 17 Jan 2025 16:03:35 +0100 |
wenzelm |
minor performance tuning;
|
changeset |
files
|
| Fri, 17 Jan 2025 15:39:40 +0100 |
wenzelm |
clarified inst_type: more direct Thm.instantiate_frees;
|
changeset |
files
|
| Fri, 17 Jan 2025 14:47:25 +0100 |
wenzelm |
more direct Thm.free: avoid re-certification;
|
changeset |
files
|
| Fri, 17 Jan 2025 14:31:48 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Fri, 17 Jan 2025 13:44:45 +0100 |
wenzelm |
tuned names;
|
changeset |
files
|
| Fri, 17 Jan 2025 13:04:34 +0100 |
wenzelm |
tuned names;
|
changeset |
files
|
| Fri, 17 Jan 2025 13:00:39 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 17 Jan 2025 12:50:46 +0100 |
wenzelm |
tuned;
|
changeset |
files
|