Tue, 04 Oct 2022 09:12:42 +0000 haftmann note on signed division on words default tip
Tue, 04 Oct 2022 09:12:41 +0000 haftmann tuned definition
Tue, 04 Oct 2022 09:12:39 +0000 haftmann spelling
Tue, 04 Oct 2022 09:12:38 +0000 haftmann tuned proof
Tue, 04 Oct 2022 09:12:34 +0000 haftmann slightly less abusive proof pattern
Sun, 02 Oct 2022 18:22:49 +0200 wenzelm back to post-release mode -- after fork point;
Sun, 02 Oct 2022 17:41:34 +0200 wenzelm Added tag Isabelle2022-RC3 for changeset d704efeb01db
Sun, 02 Oct 2022 17:03:02 +0200 wenzelm proper cygwin component (see d042947e47a3) Isabelle2022-RC3
Sun, 02 Oct 2022 17:01:29 +0200 wenzelm proper base names;
Sun, 02 Oct 2022 16:26:48 +0200 wenzelm suppress command echo in output;
Sun, 02 Oct 2022 16:10:27 +0200 wenzelm include openssh for rsync (see also a1c7829ac2de);
Sun, 02 Oct 2022 16:05:34 +0200 wenzelm provide naproche-20221002;
(0) -30000 -10000 -3000 -1000 -300 -100 -12 tip