wenzelm [Thu, 16 Jan 2025 12:12:32 +0100] rev 81828
tuned proofs;
wenzelm [Thu, 16 Jan 2025 11:55:20 +0100] rev 81827
proper GUI.Style_HTML.make_text, e.g. for term "x < y";
wenzelm [Wed, 15 Jan 2025 15:49:16 +0100] rev 81826
clarified signature: more explicit operations;
wenzelm [Wed, 15 Jan 2025 15:13:39 +0100] rev 81825
provide less ambitious "isabelle ocaml_setup_base", notably for platforms without gmp-dev;
wenzelm [Wed, 15 Jan 2025 13:45:22 +0100] rev 81824
clarified signature: more explicit operations;
wenzelm [Tue, 14 Jan 2025 11:34:17 +0100] rev 81823
update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04;
Fabian Huch <huch@in.tum.de> [Fri, 17 Jan 2025 12:17:37 +0100] rev 81822
isabelle_id: report sync id, if available;
Fabian Huch <huch@in.tum.de> [Fri, 17 Jan 2025 12:16:52 +0100] rev 81821
clarified: sync_id operation, similar to archive_id;
Fabian Huch <huch@in.tum.de> [Thu, 16 Jan 2025 16:10:26 +0100] rev 81820
build schedule: limit history length;
Fabian Huch <huch@in.tum.de> [Thu, 16 Jan 2025 15:38:10 +0100] rev 81819
tuned whitespace;