| Fri, 17 Jan 2025 11:01:44 +0100 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Fri, 17 Jan 2025 10:56:10 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 10:53:30 +0100 |
wenzelm |
clarified make_type: proper make_name;
|
changeset |
files
|
| Fri, 17 Jan 2025 10:51:47 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 10:46:59 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Jan 2025 10:43:23 +0100 |
wenzelm |
clarified signature: more standard Isabelle/ML;
|
changeset |
files
|
| Thu, 16 Jan 2025 23:20:44 +0100 |
wenzelm |
reproducible construction of HOL Light export bundle;
|
changeset |
files
|
| Thu, 16 Jan 2025 22:54:25 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Thu, 16 Jan 2025 22:48:16 +0100 |
wenzelm |
more robust options;
|
changeset |
files
|
| Thu, 16 Jan 2025 13:14:24 +0100 |
wenzelm |
clarified signature: more explicit operations;
|
changeset |
files
|
| Thu, 16 Jan 2025 12:45:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 16 Jan 2025 12:41:55 +0100 |
wenzelm |
tuned: prefer inlined thms;
|
changeset |
files
|
| Thu, 16 Jan 2025 12:12:32 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| 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
|
| 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
|
| Thu, 16 Jan 2025 18:07:31 +0100 |
haftmann |
restrict check to PolyML
|
changeset |
files
|
| Thu, 16 Jan 2025 10:09:42 +0000 |
paulson |
merged
|
changeset |
files
|