| Sun, 26 Mar 2023 14:45:28 +0200 |
wenzelm |
tuned output;
|
changeset |
files
|
| Sun, 26 Mar 2023 14:36:47 +0200 |
wenzelm |
tuned performance: much faster low-level operation;
|
changeset |
files
|
| Sun, 26 Mar 2023 14:24:38 +0200 |
wenzelm |
clarified signature: more general operation Bytes.read_slice;
|
changeset |
files
|
| Sun, 26 Mar 2023 12:53:53 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sun, 26 Mar 2023 12:46:15 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sun, 26 Mar 2023 12:41:34 +0200 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
More explicit type information in dictionary arguments.
|
changeset |
files
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
tuned whitespace
|
changeset |
files
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
more uniform approach towards satisfied applications
|
changeset |
files
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
more uniform approach towards satisfied applications
|
changeset |
files
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 24 Mar 2023 18:30:17 +0000 |
haftmann |
Tuned semicolons.
|
changeset |
files
|
| Mon, 20 Mar 2023 18:33:56 +0100 |
desharna |
reordered assumption and tuned proof of Multiset.bex_least_element and Multiset.bex_greatest_element
|
changeset |
files
|