| Sun, 19 Jan 2025 21:02:03 +0100 |
wenzelm |
optional maps.lst;
|
file |
diff |
annotate
|
| Sun, 19 Jan 2025 15:36:12 +0100 |
wenzelm |
tuned output: proper progress;
|
file |
diff |
annotate
|
| Sun, 19 Jan 2025 14:33:14 +0100 |
wenzelm |
more README;
|
file |
diff |
annotate
|
| Sun, 19 Jan 2025 14:23:13 +0100 |
wenzelm |
allow to load additional HOL Light files, after "hol.ml";
|
file |
diff |
annotate
|
| Sat, 18 Jan 2025 23:46:46 +0100 |
wenzelm |
more complete bundle;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2025 23:37:44 +0100 |
wenzelm |
tuned README;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2025 23:28:49 +0100 |
wenzelm |
proper settings;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2025 23:19:23 +0100 |
wenzelm |
clarified compression;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2025 22:29:47 +0100 |
wenzelm |
clarified patches;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2025 22:25:47 +0100 |
wenzelm |
more explicit stages, with timing messages;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2025 21:13:48 +0100 |
wenzelm |
avoid redundant repository clone;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2025 17:22:08 +0100 |
wenzelm |
move material from https://gitlab.inria.fr/hol-light-isabelle/hol-light 72b2b702eadb and https://gitlab.inria.fr/hol-light-isabelle/import ce58755b0232 into Isabelle repository: results from running "isabelle component_hol_light_import" of previous version;
|
file |
diff |
annotate
|
| Thu, 16 Jan 2025 23:20:44 +0100 |
wenzelm |
reproducible construction of HOL Light export bundle;
|
file |
diff |
annotate
|