| Thu, 16 Jan 2025 11:55:20 +0100 | wenzelm | proper GUI.Style_HTML.make_text, e.g. for term "x < y"; | changeset | files |
| 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 |