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