| changeset 15879 | a83b9dc6151a |
| parent 11484 | 44053d894713 |
| 15878:8192fcf13618 | 15879:a83b9dc6151a |
|---|---|
1 #!/bin/sh |
1 #!/bin/sh |
2 # |
|
3 # $Id$ |
|
2 # |
4 # |
3 # polyml-version --- issue Poly/ML version identifier |
5 # polyml-version --- issue Poly/ML version identifier |
4 # |
6 # |
5 # NOTE: version identifiers should be kept as generic as possible, |
7 # NOTE: version identifiers should be kept as generic as possible, |
6 # i.e. shared by compatible environments. |
8 # i.e. shared by compatible environments. |
7 |
9 |
8 echo polyml-4.1.1 |
10 echo polyml-4.1.3 |