# HG changeset patch
# User wenzelm
# Date 1593185674 -7200
# Node ID 6441b4591eb891085b17bfbd7e255cd36cf4dd32
# Parent  6678e4d9508f3a983ea393039ba7476287583f4c
more CONTRIBUTORS;

diff -r 6678e4d9508f -r 6441b4591eb8 CONTRIBUTORS
--- 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.