Mon, 28 Nov 2022 11:38:55 +0000 paulson A new Isabelle/CTT example, and eliminated some old-style quotation marks default tip
Fri, 25 Nov 2022 22:38:10 +0100 wenzelm clarified exception: avoid odd compiler warning;
Fri, 25 Nov 2022 21:58:40 +0100 wenzelm update to scala-3.2.1;
Fri, 25 Nov 2022 20:45:52 +0100 wenzelm recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 tip