# HG changeset patch
# User wenzelm
# Date 1647346957 -3600
# Node ID 5417613efd74563c1d29ec4f89629d68e3f9c50d
# Parent  574fb6486c572e193f3c324e2056b0097bb60a40
tuned messages;

diff -r 574fb6486c57 -r 5417613efd74 lib/Tools/electron
--- a/lib/Tools/electron	Tue Mar 15 13:16:13 2022 +0100
+++ b/lib/Tools/electron	Tue Mar 15 13:22:37 2022 +0100
@@ -2,6 +2,6 @@
 #
 # Author: Makarius
 #
-# DESCRIPTION: run the Electron framework (with its own command-line arguments)
+# DESCRIPTION: run the Electron framework within the Isabelle environment
 
 exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"
diff -r 574fb6486c57 -r 5417613efd74 lib/Tools/node
--- a/lib/Tools/node	Tue Mar 15 13:16:13 2022 +0100
+++ b/lib/Tools/node	Tue Mar 15 13:22:37 2022 +0100
@@ -2,7 +2,7 @@
 #
 # Author: Makarius
 #
-# DESCRIPTION: run the Node.js framework (with its own command-line arguments)
+# DESCRIPTION: run the Node.js framework within the Isabelle environment
 
 export ELECTRON_RUN_AS_NODE=1
 exec "$ISABELLE_VSCODIUM_ELECTRON" "$@"