# HG changeset patch
# User wenzelm
# Date 1647350111 -3600
# Node ID 29ee987174c02e8a2bfc4ddf7ad52af8ce5672f0
# Parent  2b64d565759295b697c8e410628a9cd3cf764432
tuned message;

diff -r 2b64d5657592 -r 29ee987174c0 lib/Tools/electron
--- a/lib/Tools/electron	Tue Mar 15 14:03:56 2022 +0100
+++ b/lib/Tools/electron	Tue Mar 15 14:15:11 2022 +0100
@@ -2,7 +2,7 @@
 #
 # Author: Makarius
 #
-# DESCRIPTION: run the Electron framework within the Isabelle environment
+# DESCRIPTION: run the Electron.js framework within the Isabelle environment
 
 if [ -z "$ISABELLE_VSCODIUM_ELECTRON" ]; then
   echo '*** Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component'