#additional components to be bundled for release
Isabelle_app-20210126
