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 messages;
authorwenzelm
Tue, 15 Mar 2022 13:22:37 +0100
changeset 75284 5417613efd74
parent 75283 574fb6486c57
child 75285 2b64d5657592
tuned messages;
lib/Tools/electron file | annotate | diff | comparison | revisions
lib/Tools/node file | annotate | diff | comparison | revisions 
--- 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" "$@"
--- 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" "$@"
isabelle