simplified/robustified treatment of malformed symbols, which are now fully internalized (total Symbol.explode etc.);
allow malformed symbols inside quoted material, comments etc. -- for improved user experience with incremental re-parsing;
refined treatment of malformed surrogates (Scala);
#!/usr/bin/env bash
#
# Author: Stefan Berghofer, TU Muenchen
#
# DESCRIPTION: display Isabelle version
echo 'unidentified repository version' # filled in automatically!