#!/usr/bin/env bash
#
# $Id: version,v 1.1 2003/02/03 10:45:05 berghofe Exp $
# Author: Stefan Berghofer, TU Muenchen
# License: GPL (GNU GENERAL PUBLIC LICENSE)
#
# DESCRIPTION: display Isabelle version


echo 'Isabelle2003: May 2003'    # filled in automatically!
