| Fri, 17 Jan 2025 12:19:11 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 17 Jan 2025 12:10:59 +0100 |
wenzelm |
more robust import_file path: proper master_directory;
|
changeset |
files
|
| Fri, 17 Jan 2025 11:49:31 +0100 |
wenzelm |
tuned signature: more operations;
|
changeset |
files
|
| Fri, 17 Jan 2025 11:47:47 +0100 |
wenzelm |
unused;
|
changeset |
files
|
| Fri, 17 Jan 2025 11:24:40 +0100 |
wenzelm |
tuned signature, following Isabelle/Scala;
|
changeset |
files
|
| Fri, 17 Jan 2025 11:16:11 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
changeset |
files
|
| Fri, 17 Jan 2025 11:05:36 +0100 |
wenzelm |
clarified pattern via antiquotations;
|
changeset |
files
|
| 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
|