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

Lukas Bulwahn 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 
>>> 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:
> http://isabelle.in.tum.de/reports/Isabelle/report/78fa8d673aac4dcca02465b91815adb9#l260 
> env: 
> /tmp/mira/workbench/62527-140537428690688/Isabelle/contrib/scala-2.9.2/bin/scalac: 
> 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 mailing list