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

* Application launcher: http://launch4j.sourceforge.net

* Platform binaries "ld" and "windres" from GNU binutils:
  https://ftp.gnu.org/gnu/binutils/binutils-2.26.1.tar.gz

    ./configure --prefix="$PWD/target" --target=x86_64-w64-mingw32
    make
    make install

* Self-extracting installer:
  https://github.com/chrislake/7zsfxmm/releases/download/1.7.1.3901/7zsd_extra_171_3901.7z

See also Isabelle/Admin/Windows/.


        Makarius
        15-Mar-2025
