#!/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 'Isabelle2007: November 2007'    # filled in automatically!
