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

* Self-extracting installer: http://www.7zsfx.info

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

See also Isabelle/Admin/Windows/.

