| changeset 75284 | 5417613efd74 |
| parent 75279 | 9229f2681db7 |
| child 75285 | 2b64d5657592 |
--- 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" "$@"