Skip to content

hol_light: unstable-2024-07-07 -> 0-unstable-2026-05-19

7579aa2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

hol_light: build against the default OCaml (5.4) #525966

hol_light: unstable-2024-07-07 -> 0-unstable-2026-05-19
7579aa2
Select commit
Loading
Failed to load commit list.