| Wed, 22 Feb 2023 21:31:36 +0100 | wenzelm | clarified signature: more robust; | changeset | files |
| Wed, 22 Feb 2023 10:55:38 +0100 | wenzelm | more operations; | changeset | files |
| Tue, 21 Feb 2023 14:36:04 +0100 | wenzelm | allow arbitrary info, e.g. for custom scheduler; | changeset | files |
| Tue, 21 Feb 2023 14:30:07 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 21 Feb 2023 16:47:03 +0000 | paulson | merged | changeset | files |
| Tue, 21 Feb 2023 16:46:49 +0000 | paulson | Simplified some proofs | changeset | files |
| Tue, 21 Feb 2023 13:02:33 +0100 | wenzelm | merged | changeset | files |
| Tue, 21 Feb 2023 13:01:54 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 21 Feb 2023 12:58:19 +0100 | wenzelm | tuned signature: avoid warnings in IntelliJ IDEA; | changeset | files |
| Tue, 21 Feb 2023 12:53:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 21 Feb 2023 12:50:03 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 21 Feb 2023 12:48:22 +0100 | wenzelm | tuned signature; | changeset | files |