[isabelle-dev] Towards the release
simon.cruanes.2007 at m4x.org
Tue Oct 25 11:31:18 CEST 2016
Le Mon, 24 Oct 2016, Makarius a écrit :
> Maybe we can sort out these problems now, within the next few weeks. Is
> there a tracker item or other place to see this ocamlbuild isse?
https://github.com/ocaml/ocamlbuild/issues/104 and the corresponding
flexdll release https://github.com/alainfrisch/flexdll/releases/tag/0.35
> The Windows platform is a bit strange, but there are usually many ways
> to get things through eventually.
> > Would it make sense to push the source code only, with no binary component, for Isabelle2016-1? It's about 2000 lines of code and could go to "Library". Or would a Linux/Mac-only binary component be acceptable for such a (for the moment, experimental) tool? Otherwise, we can wait for the next release.
key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 801 bytes
Desc: not available
More information about the isabelle-dev