| Fri, 23 Dec 2022 11:12:19 +0000 | paulson | merged | changeset | files |
| Thu, 22 Dec 2022 18:32:42 +0000 | paulson | A few new Sup/Inf lemmas | changeset | files |
| Sat, 24 Dec 2022 13:54:24 +0100 | wenzelm | clarified messages; | changeset | files |
| Sat, 24 Dec 2022 13:19:39 +0100 | wenzelm | tuned signature: follow terminology of VSCode_Resources; | changeset | files |
| Fri, 23 Dec 2022 22:51:47 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 23 Dec 2022 22:48:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 23 Dec 2022 22:41:47 +0100 | wenzelm | more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch; | changeset | files |
| Fri, 23 Dec 2022 22:33:14 +0100 | wenzelm | update URL; | changeset | files |
| Fri, 23 Dec 2022 15:42:52 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 23 Dec 2022 15:34:09 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2022 15:29:29 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2022 15:20:53 +0100 | wenzelm | tuned; | changeset | files |