| 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 |
| Sun, 24 Mar 2024 14:50:47 +0100 | nipkow | more uniform command names | changeset | files |
| Sun, 24 Mar 2024 14:15:10 +0100 | nipkow | tuned parameter order | changeset | files |
| Sun, 24 Mar 2024 14:04:30 +0100 | wenzelm | shutdown lrzcloud2; | changeset | files |
| Sat, 23 Mar 2024 07:59:53 +0100 | desharna | tuned NEWS | changeset | files |
| Thu, 21 Mar 2024 11:24:03 +0100 | desharna | redefined wfP as an abbreviation for "wfp_on UNIV" | changeset | files |