--- a/CONTRIBUTORS Thu Jun 25 15:45:15 2020 +0200
+++ b/CONTRIBUTORS Fri Jun 26 17:34:34 2020 +0200
@@ -6,6 +6,14 @@
Contributions to this Isabelle version
--------------------------------------
+* June 2020: Makarius Wenzel
+ System option pide_session is enabled by default, notably for standard
+ "isabelle build" to invoke Scala from ML.
+
+* May 2020: Makarius Wenzel
+ Antiquotations for Isabelle systems programming, notably @{scala_function}
+ and @{scala} to invoke Scala from ML.
+
* May 2020: Florian Haftmann
HOL-Word based on library theory of generic bit operations.