Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more README;
authorwenzelm
Sun, 19 Jan 2025 14:33:14 +0100
changeset 81925 27854cbcadf1
parent 81924 61b711122061
child 81926 402660d4558e
more README;
src/Pure/Admin/component_hol_light.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle