[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS

Makarius makarius at sketis.net
Wed May 30 14:44:33 CEST 2012

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 version.
>>     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.


More information about the isabelle-dev mailing list