| Mon, 20 Feb 2023 13:37:51 +0100 | nipkow | Backed out changeset 1fde0e4fd791 | changeset | files |
| Sun, 19 Feb 2023 21:21:19 +0000 | paulson | merged | changeset | files |
| Sun, 19 Feb 2023 21:21:10 +0000 | paulson | Simplifying more proofs | changeset | files |
| Sun, 19 Feb 2023 13:51:49 +0100 | wenzelm | merged | changeset | files |
| Sun, 19 Feb 2023 13:47:10 +0100 | wenzelm | proper Nodes.init (amending 9b35c1171d9a); | changeset | files |
| Sun, 19 Feb 2023 13:43:38 +0100 | wenzelm | unused; | changeset | files |
| Sun, 19 Feb 2023 13:37:38 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 13 Feb 2023 22:40:29 +0100 | wenzelm | clarified signature defaults; | changeset | files |
| Mon, 13 Feb 2023 22:24:34 +0100 | wenzelm | clarified types: support a variety of Build_Job instances; | changeset | files |
| Mon, 13 Feb 2023 13:26:43 +0100 | wenzelm | clarified signature: more explicit synchronized operations; | changeset | files |
| Mon, 13 Feb 2023 12:47:55 +0100 | wenzelm | clarified signature: more explicit synchronized operations; | changeset | files |
| Mon, 13 Feb 2023 12:36:49 +0100 | wenzelm | clarified modules (again); | changeset | files |