lib/Tools/version

simplified/clarified Document_View.text_area_extension;
tuned Document.Node.block_size, trading some space for better time;

#!/usr/bin/env bash
#
# Author: Stefan Berghofer, TU Muenchen
#
# DESCRIPTION: display Isabelle version

echo 'unidentified repository version'    # filled in automatically!