Re: [isabelle] Isabelle2016-RC5 available



> On 13.02.2016, at 05:36, Makarius <makarius at sketis.net> wrote:
[..]
> Isabelle2016-RC5 is now available for regular use in anticipation of official Isabelle2016:[
[..]
>   - Poly/ML: hardwired bash in OS.Process.system to help
>     Debian-testing-unstable with exported shell functions

Just wanted to confirm that this has avoided the problem in our setup as well.

We had some additional dash breakage in Makefiles that were using "isabelle envâ, and the same change of âSHELL=bashâ works there as well.

Cheers,
Gerwin

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.