| Thu, 22 Sep 2022 10:38:52 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 20 Sep 2022 20:12:01 +0000 | haftmann | streamlined division on polynomials | changeset | files |
| Sun, 18 Sep 2022 14:10:15 +0200 | wenzelm | clarified packaging; | changeset | files |
| Sun, 18 Sep 2022 13:39:44 +0200 | wenzelm | merged | changeset | files |
| Sun, 18 Sep 2022 13:33:26 +0200 | wenzelm | Added tag Isabelle2022-RC2 for changeset 778152d51e97 | changeset | files |
| Sun, 18 Sep 2022 00:24:20 +0200 | wenzelm | show SSH options in PIDE GUI; | changeset | files |
| Sun, 18 Sep 2022 00:00:05 +0200 | wenzelm | inplace update: proper Linux version; | changeset | files |
| Sat, 17 Sep 2022 23:09:00 +0200 | wenzelm | provide naproche-20220917; | changeset | files |