HomeIsabelle/Phabricator

build Isabelle windows_app component from GNU binutils and launch4j;