CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Aug 06 17:51:37 2020 +0200
+++ b/CONTRIBUTORS	Thu Aug 06 22:43:40 2020 +0200
@@ -10,8 +10,7 @@
   Integration of Metis 2.4.
 
 * June 2020: Makarius Wenzel
-  System option pide_session is enabled by default, notably for standard
-  "isabelle build" to invoke Scala from ML.
+  Batch-builds via "isabelle build" allow to invoke Scala from ML.
 
 * May 2020: Makarius Wenzel
   Antiquotations for Isabelle systems programming, notably @{scala_function}