| Sun, 19 May 2024 18:43:45 +0200 | wenzelm | provide scala-3.4.2, but do not activate it: scala-3.3.x is LTS version; | changeset | files |
| Sun, 19 May 2024 15:49:21 +0200 | wenzelm | update to naproche-20240519; | changeset | files |
| Sun, 12 May 2024 14:45:29 +0200 | wenzelm | proper formatting; | changeset | files |
| Sun, 12 May 2024 14:41:13 +0200 | wenzelm | more documentation on "isabelle build -H" and underlying system registry tables "host" and "cluster"; | changeset | files |
| Mon, 13 May 2024 22:42:40 +0100 | paulson | More binomial material | changeset | files |
| Sun, 12 May 2024 23:23:39 +0100 | paulson | syntax of gchoose now the same as choose | changeset | files |
| Mon, 06 May 2024 14:39:33 +0100 | paulson | Some new simprules – and patches for proofs | changeset | files |