lib/Tools/version
author wenzelm
Tue Aug 11 15:53:13 2009 +0200 (2009-08-11)
changeset 32361 141e5151b918
parent 29143 72c960b2b83e
child 41511 2fe62d602681
permissions -rwxr-xr-x
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Stefan Berghofer, TU Muenchen
     4 #
     5 # DESCRIPTION: display Isabelle version
     6 
     7 echo 'unidentified repository version'    # filled in automatically!