[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
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:
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