[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS
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
> 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.
More information about the isabelle-dev