uniform treatment of length = 1 for forced breaks, also makes ML/Pretty.length coincide with Scala/XML.content_length;
#!/usr/bin/env bash
echo "### Legacy feature: polyml-platform script is superseded by ISABELLE_PLATFORM" >&2
echo "$ISABELLE_PLATFORM"