#!/usr/bin/env bash
#
# $Id: version,v 1.1.2.1 2004/06/08 00:29:49 kleing Exp $
# Author: Stefan Berghofer, TU Muenchen
#
# DESCRIPTION: display Isabelle version


echo 'Isabelle2004: April 2004'    # filled in automatically!
