| 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
|
| Sat, 23 Mar 2024 18:55:38 +0100 |
desharna |
redefined wf as an abbreviation for "wf_on UNIV"
|
changeset |
files
|
| Sun, 24 Mar 2024 14:51:03 +0100 |
nipkow |
merged
|
changeset |
files
|