| Sun, 27 Mar 2022 19:27:52 +0000 | haftmann | prefer build combinator | changeset | files |
| Sun, 27 Mar 2022 19:27:50 +0000 | haftmann | tuned whitespace | changeset | files |
| Fri, 25 Mar 2022 17:21:39 +0100 | wenzelm | proper option argument; | changeset | files |
| Fri, 25 Mar 2022 17:20:12 +0100 | wenzelm | prefer Isabelle shasum over the old command-line tool with its extra marker character; | changeset | files |