lib/Tools/version
changeset 32361 141e5151b918
parent 29143 72c960b2b83e
child 41511 2fe62d602681
     1.1 --- a/lib/Tools/version	Tue Aug 11 10:58:36 2009 +0200
     1.2 +++ b/lib/Tools/version	Tue Aug 11 15:53:13 2009 +0200
     1.3 @@ -4,5 +4,4 @@
     1.4  #
     1.5  # DESCRIPTION: display Isabelle version
     1.6  
     1.7 -
     1.8 -echo 'Isabelle repository version'    # filled in automatically!
     1.9 +echo 'unidentified repository version'    # filled in automatically!