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

Lukas Bulwahn bulwahn at in.tum.de
Wed May 30 14:02:23 CEST 2012


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.
Does anyone feel responsible? Maybe it only requires a few tweaks in the 
code generation setup to adjust to the new version.

Lukas



More information about the isabelle-dev mailing list