Auxiliary parts for Isabelle as Windows application
===================================================

* 7zip: https://www.7-zip.org

* 7z.sfx: changed manifest for non-admin

* Isabelle.exe: via jpackage


        Makarius
        08-Oct-2026
