11 months ago | wenzelm | support for etc/platform.props, to specify multi-platform directory structure more accurately; | changeset | files |
11 months ago | wenzelm | clarified signature; | changeset | files |
11 months ago | wenzelm | tuned; | changeset | files |
11 months ago | wenzelm | clarified modules; | changeset | files |
11 months ago | wenzelm | clarified modules; | changeset | files |
11 months ago | wenzelm | build Isabelle component for Go: all platforms; | changeset | files |
11 months ago | wenzelm | misc tuning; | changeset | files |
11 months ago | wenzelm | just one copy of darwin-universal.tar.gz; | changeset | files |
Loading... |