| Wed, 15 Jan 2025 15:49:16 +0100 | wenzelm | clarified signature: more explicit operations; | changeset | files |
| Wed, 15 Jan 2025 15:13:39 +0100 | wenzelm | provide less ambitious "isabelle ocaml_setup_base", notably for platforms without gmp-dev; | changeset | files |
| Wed, 15 Jan 2025 13:45:22 +0100 | wenzelm | clarified signature: more explicit operations; | changeset | files |
| Tue, 14 Jan 2025 11:34:17 +0100 | wenzelm | update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04; | changeset | files |
| Fri, 17 Jan 2025 12:17:37 +0100 | Fabian Huch | isabelle_id: report sync id, if available; | changeset | files |
| Fri, 17 Jan 2025 12:16:52 +0100 | Fabian Huch | clarified: sync_id operation, similar to archive_id; | changeset | files |
| Thu, 16 Jan 2025 16:10:26 +0100 | Fabian Huch | build schedule: limit history length; | changeset | files |
| Thu, 16 Jan 2025 15:38:10 +0100 | Fabian Huch | tuned whitespace; | changeset | files |