lib/Tools/version

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!