HomeIsabelle/Phabricator

more robust: avoid spurious line breaks that might confuse the scala…