Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Tue, 15 Mar 2022 14:15:11 +0100
changeset 75286 29ee987174c0
parent 75285 2b64d5657592
child 75287 7add2d5322a7
tuned message;
lib/Tools/electron file | annotate | diff | comparison | revisions 
--- 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'
isabelle