| Sat, 18 Jan 2025 22:25:47 +0100 | wenzelm | more explicit stages, with timing messages; | changeset | files |
| Sat, 18 Jan 2025 21:13:48 +0100 | wenzelm | avoid redundant repository clone; | changeset | files |
| 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; | changeset | files |
| Sat, 18 Jan 2025 16:26:43 +0100 | wenzelm | original HOL Light "offline" material by Cezary Kaliszyk and Alexander Krauss, from http://cl-informatik.uibk.ac.at/users/cek/import/holimport.tgz 27-Nov-2013 (37372 bytes); | changeset | files |
| Sat, 18 Jan 2025 13:20:47 +0100 | wenzelm | tuned names; | changeset | files |
| Sat, 18 Jan 2025 13:10:09 +0100 | wenzelm | misc cleanup and minor performance tuning; | changeset | files |