# HG changeset patch
# User berghofe
# Date 1044269105 -3600
# Node ID d643300e4fc073c940699e7bceb591a2c5ddf7d3
# Parent  84cb1ff80f253f7b6bb633a7c817f482a5f2e08c
New tool for displaying version information.

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!