| changeset 75453 | e2aa3c1f90a1 |
| parent 75401 | 010a77180dff |
| child 75460 | 7c2fe41f5ee8 |
--- a/NEWS Mon May 09 21:01:12 2022 +0200 +++ b/NEWS Wed May 11 09:53:29 2022 +0200 @@ -26,6 +26,11 @@ applications. This essentially provides a freely programmable Chromium browser engine that works uniformly on all platforms. +Example: + + URL="https://isabelle.in.tum.de" isabelle electron \ + --app="$(isabelle getenv -b ISABELLE_HOME)"/src/Tools/Electron/test + *** HOL ***