[isabelle-dev] jdk-8u121

2017-01-22 Thread Makarius
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

[isabelle-dev] A note on composition in src/Pure/library.ML

2017-01-22 Thread Florian Haftmann
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