[isabelle-dev] Towards the release

Simon Cruanes 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.

Simon Cruanes

key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3  7D8D 4AC0 1D08 49AA 62B6
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 801 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20161025/6d8eaae2/attachment.sig>

More information about the isabelle-dev mailing list