HomeIsabelle/Phabricator

back to scala-2.13.5: avoid problems with history in scala REPL;