Isabelle/9c94853f03b3 is now on jdk-8u121, which was released by Oracle
last week. It is a relatively unexciting update, see also:
http://www.oracle.com/technetwork/java/javaseproducts/documentation/8u121-revision-builds-relnotes-3450732.html
Hi all,
in http://isabelle.in.tum.de/repos/isabelle/rev/18a6b96f8b00 you see the
result of a struggle ongoing for years now to get static vs. dynamic
scoping of code generator conversions etc. right.
Finally I realized that composition is to blame for. See the following
example:
ML_val ‹
fun
