#!/usr/bin/env bash
#
# $Id: version,v 1.2 2004/06/21 08:25:57 kleing Exp $
# Author: Stefan Berghofer, TU Muenchen
#
# DESCRIPTION: display Isabelle version


echo 'Isabelle2005: October 2005'    # filled in automatically!
