| Thu, 06 Oct 2022 14:16:39 +0000 | haftmann | euclidean division on gaussian numbers | changeset | files |
| Thu, 06 Oct 2022 13:41:59 +0000 | haftmann | tuned proof | changeset | files |
| Tue, 04 Oct 2022 09:12:42 +0000 | haftmann | note on signed division on words | changeset | files |
| Tue, 04 Oct 2022 09:12:41 +0000 | haftmann | tuned definition | changeset | files |
| Tue, 04 Oct 2022 09:12:39 +0000 | haftmann | spelling | changeset | files |
| Tue, 04 Oct 2022 09:12:38 +0000 | haftmann | tuned proof | changeset | files |
| Tue, 04 Oct 2022 09:12:34 +0000 | haftmann | slightly less abusive proof pattern | changeset | files |
| Sun, 02 Oct 2022 18:22:49 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Sun, 02 Oct 2022 17:41:34 +0200 | wenzelm | Added tag Isabelle2022-RC3 for changeset d704efeb01db | changeset | files |
| Sun, 02 Oct 2022 17:03:02 +0200 | wenzelm | proper cygwin component (see d042947e47a3) | changeset | files |
| Sun, 02 Oct 2022 17:01:29 +0200 | wenzelm | proper base names; | changeset | files |
| Sun, 02 Oct 2022 16:26:48 +0200 | wenzelm | suppress command echo in output; | changeset | files |