wenzelm [Fri, 17 Jan 2025 13:44:45 +0100] rev 81853
tuned names;
wenzelm [Fri, 17 Jan 2025 13:04:34 +0100] rev 81852
tuned names;
wenzelm [Fri, 17 Jan 2025 13:00:39 +0100] rev 81851
tuned signature;
wenzelm [Fri, 17 Jan 2025 12:50:46 +0100] rev 81850
tuned;
wenzelm [Fri, 17 Jan 2025 12:46:50 +0100] rev 81849
tuned signature;
wenzelm [Fri, 17 Jan 2025 12:41:01 +0100] rev 81848
clarified signature: more standard Isabelle/ML;
wenzelm [Fri, 17 Jan 2025 12:19:11 +0100] rev 81847
clarified signature;
wenzelm [Fri, 17 Jan 2025 12:10:59 +0100] rev 81846
more robust import_file path: proper master_directory;
support for compressed proofs.zst (e.g. via "zstd -8");
wenzelm [Fri, 17 Jan 2025 11:49:31 +0100] rev 81845
tuned signature: more operations;
wenzelm [Fri, 17 Jan 2025 11:47:47 +0100] rev 81844
unused;
wenzelm [Fri, 17 Jan 2025 11:24:40 +0100] rev 81843
tuned signature, following Isabelle/Scala;
wenzelm [Fri, 17 Jan 2025 11:16:11 +0100] rev 81842
clarified signature, following Isabelle/Scala;
wenzelm [Fri, 17 Jan 2025 11:05:36 +0100] rev 81841
clarified pattern via antiquotations;
wenzelm [Fri, 17 Jan 2025 11:01:44 +0100] rev 81840
misc tuning and clarification;
wenzelm [Fri, 17 Jan 2025 10:56:10 +0100] rev 81839
tuned;
wenzelm [Fri, 17 Jan 2025 10:53:30 +0100] rev 81838
clarified make_type: proper make_name;
wenzelm [Fri, 17 Jan 2025 10:51:47 +0100] rev 81837
tuned;
wenzelm [Fri, 17 Jan 2025 10:46:59 +0100] rev 81836
tuned;
wenzelm [Fri, 17 Jan 2025 10:43:23 +0100] rev 81835
clarified signature: more standard Isabelle/ML;
wenzelm [Thu, 16 Jan 2025 23:20:44 +0100] rev 81834
reproducible construction of HOL Light export bundle;
wenzelm [Thu, 16 Jan 2025 22:54:25 +0100] rev 81833
tuned messages;
wenzelm [Thu, 16 Jan 2025 22:48:16 +0100] rev 81832
more robust options;
more robust lines;
wenzelm [Thu, 16 Jan 2025 13:14:24 +0100] rev 81831
clarified signature: more explicit operations;
wenzelm [Thu, 16 Jan 2025 12:45:48 +0100] rev 81830
tuned;
wenzelm [Thu, 16 Jan 2025 12:41:55 +0100] rev 81829
tuned: prefer inlined thms;
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;