| Mon, 25 Mar 2024 17:10:19 +0100 | wenzelm | just one README.md; | changeset | files |
| Mon, 25 Mar 2024 17:55:02 +0100 | nipkow | tuned | changeset | files |
| Mon, 25 Mar 2024 15:11:48 +0100 | wenzelm | merged | changeset | files |
| Mon, 25 Mar 2024 15:11:21 +0100 | wenzelm | more accurate platform directories: pkg/tool structure is hardwired in "go"; | changeset | files |
| Mon, 25 Mar 2024 14:47:53 +0100 | wenzelm | support for etc/platform.props, to specify multi-platform directory structure more accurately; | changeset | files |
| Sun, 24 Mar 2024 19:14:56 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 24 Mar 2024 19:10:55 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Mar 2024 19:08:13 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 24 Mar 2024 18:45:40 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 24 Mar 2024 17:49:53 +0100 | wenzelm | build Isabelle component for Go: all platforms; | changeset | files |
| Sun, 24 Mar 2024 15:13:35 +0100 | wenzelm | misc tuning; | changeset | files |
| Sun, 24 Mar 2024 15:05:22 +0100 | wenzelm | just one copy of darwin-universal.tar.gz; | changeset | files |
| Mon, 25 Mar 2024 14:08:25 +0100 | nipkow | documented running time function framework by Jonas Stahl | changeset | files |
| Mon, 25 Mar 2024 10:16:14 +0100 | desharna | merged | changeset | files |