changeset 32361 | 141e5151b918 |
parent 29143 | 72c960b2b83e |
child 41511 | 2fe62d602681 |
32360:79b5b3031c87 | 32361:141e5151b918 |
---|---|
2 # |
2 # |
3 # Author: Stefan Berghofer, TU Muenchen |
3 # Author: Stefan Berghofer, TU Muenchen |
4 # |
4 # |
5 # DESCRIPTION: display Isabelle version |
5 # DESCRIPTION: display Isabelle version |
6 |
6 |
7 |
7 echo 'unidentified repository version' # filled in automatically! |
8 echo 'Isabelle repository version' # filled in automatically! |