src/Pure/Admin/component_hol_light.scala

--- a/src/Pure/Admin/component_hol_light.scala	Sun Jan 19 14:23:13 2025 +0100
+++ b/src/Pure/Admin/component_hol_light.scala	Sun Jan 19 14:33:14 2025 +0100
@@ -68,6 +68,10 @@
 The original repository """ + hol_light_url + """
 has been patched in 2 phases. The overall export process works like this:
 
+  isabelle ocaml_setup
+  isabelle ocaml_opam install -y camlp5
+  eval $(isabelle ocaml_opam env)
+
   cd hol-light
   make