| Thu, 24 Mar 2022 23:54:40 +0100 | wenzelm | merged | changeset | files |
| Thu, 24 Mar 2022 23:33:55 +0100 | wenzelm | provide pre-built vscodium-1.65.2 for all platforms; | changeset | files |
| Thu, 24 Mar 2022 22:35:47 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 24 Mar 2022 22:27:17 +0100 | wenzelm | provide vscode_extension via component, thus users don't need Node.js development tools; | changeset | files |
| Thu, 24 Mar 2022 20:45:14 +0100 | wenzelm | clarified options; | changeset | files |
| Thu, 24 Mar 2022 22:43:41 +0000 | paulson | Some new library lemmas | changeset | files |
| Thu, 24 Mar 2022 22:21:24 +0000 | paulson | merged | changeset | files |
| Thu, 24 Mar 2022 18:50:11 +0000 | paulson | really removing Dedekind_real | changeset | files |
| Thu, 24 Mar 2022 18:28:51 +0000 | paulson | merged | changeset | files |
| Thu, 24 Mar 2022 18:28:44 +0000 | paulson | Moving Dedekind_Real to the AFP | changeset | files |
| Thu, 24 Mar 2022 16:34:44 +0000 | haftmann | tuned | changeset | files |
| Thu, 24 Mar 2022 16:34:43 +0000 | haftmann | separated case reduction | changeset | files |
| Thu, 24 Mar 2022 16:34:42 +0000 | haftmann | separated selector function entirely | changeset | files |
| Thu, 24 Mar 2022 16:34:41 +0000 | haftmann | self-contained extraction auf clauses | changeset | files |