| Fri, 01 Mar 2024 21:23:47 +0100 | wenzelm | update to scala-3.3.3; | changeset | files |
| Fri, 01 Mar 2024 20:31:23 +0100 | wenzelm | provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive; | changeset | files |
| Fri, 01 Mar 2024 16:27:36 +0100 | Fabian Huch | update NEWS, following 0d7c7fe65638; | changeset | files |
| Thu, 29 Feb 2024 22:52:45 +0100 | wenzelm | provide cvc5-1.1.1 for testing --- still inactive; | changeset | files |
| Thu, 29 Feb 2024 21:06:50 +0100 | wenzelm | rebuild bash_process executables on current reference platforms, including native arm64-darwin; | changeset | files |
| Thu, 29 Feb 2024 17:03:00 +0100 | wenzelm | tuned NEWS, see also c62003e05e46; | changeset | files |
| Thu, 29 Feb 2024 16:59:47 +0100 | wenzelm | update NEWS, following ea1913c953ef; | changeset | files |
| Thu, 29 Feb 2024 16:57:09 +0100 | wenzelm | tuned whitespace according to jEdit mode parameters ":wrap=hard:maxLineLen=72:"; | changeset | files |