diff -r 84cb1ff80f25 -r d643300e4fc0 lib/Tools/version
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/version	Mon Feb 03 11:45:05 2003 +0100
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+#
+# $Id$
+# Author: Stefan Berghofer, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
+#
+# DESCRIPTION: display Isabelle version
+
+
+echo 'Isabelle repository version'    # filled in automatically!