Hi, I pushed a new hol-light version with a minimal patch to fix the build problem. Please review and upload.
Hendrik
- Re: Preparation of the transition to OCaml 4.05.0: sta... Hendrik Tews
- Re: Preparation of the transition to OCaml 4.05.0: sta... Stéphane Glondu
- Re: Preparation of the transition to OCaml 4.05.0... Eric Cooper
- Re: Preparation of the transition to OCaml 4.... Ralf Treinen
- Re: Preparation of the transition to OCam... Johannes Schauer
- Build-Depends on ocamlbuild (was: Prepara... Eric Cooper
- Re: Build-Depends on ocamlbuild (was:... Ralf Treinen
- Re: Preparation of the transition to OCaml 4.05.0: sta... Ximin Luo
- Re: Preparation of the transition to OCaml 4.05.0... Stéphane Glondu
- Re: Preparation of the transition to OCaml 4.... Hendrik Tews
- Re: Preparation of the transition to OCam... Hendrik Tews
- Re: Preparation of the transition to ... Dimitri John Ledkov
- Re: Preparation of the transition to OCaml 4.... Stéphane Glondu
