[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
bulwahn at in.tum.de
Wed May 30 14:48:08 CEST 2012
On 05/30/2012 02:44 PM, Makarius wrote:
> On Wed, 30 May 2012, Lukas Bulwahn wrote:
>> On 05/29/2012 02:01 PM, Makarius wrote:
>>> * Admin/contributed_components within the repository documents
>>> semi-formally which components may be included into a certain
>>> The mira experts should be able to say more about the current
>>> used of
>>> that file in the testing framework.
>> Roaring ahead with the grand unified contrib, I guess someone has
>> changed the Scala version on lxbroy10, because now the Scala export
>> with Imperative-HOL fails on lxbroy10.
> The interesting bit of information is actually here:
> Permission denied
> Which was caused by the lack of group executablity for the scala/bin
> files, which I have changed now.
Thank you for digging deeper into this. So the mira testing should be
now back to a working state.
More information about the isabelle-dev