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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
