Re: [isabelle-dev] Problem with ocaml nums.cma on Cygwin64

On 06/10/17 16:38, Makarius wrote: > > Presently (e.g. in Isabelle/0b3fa8e22f22) this causes a new problem with > OCaml, see also my thread on the Cygwin mailing list: > https://cygwin.com/ml/cygwin/2017-10/msg00037.html > > $ ocaml nums.cma > Cannot load required shared library dllnums. >

Re: [isabelle-dev] AFP statistics

> The devel equivalent is available at > and is re-generated every > time someone pushes to the repository. Currently that one shows wrong > dependency numbers because it hasn't been adapted yet to > session-qualified imports. I'm still working on a