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

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

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

See also Isabelle/Admin/Windows/.
