HomeIsabelle/Phabricator

enforce full build, after significant changes in Isabelle/Scala;