lib/Tools/version

removed references to OldTerm.*

+
−#!/usr/bin/env bash
+
−#
+
−# Author: Stefan Berghofer, TU Muenchen
+
−#
+
−# DESCRIPTION: display Isabelle version
+
−
+
−
+
−echo 'Isabelle repository version'    # filled in automatically!