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