1 #!/bin/sh
2 #
3 # polyml-version --- issue Poly/ML version identifier
4 #
5 # NOTE: version identifiers should be kept as generic as possible,
6 # i.e. shared by compatible environments.
7
8 echo polyml-4.0