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