Admin/polyml/bin/polyml-version
author haftmann
Mon, 06 Jun 2005 14:12:07 +0200
changeset 16301 f9f2e1643593
parent 15879 a83b9dc6151a
permissions -rwxr-xr-x
migrated scripts to new webiste

#!/bin/sh
#
# $Id$
#
# polyml-version --- issue Poly/ML version identifier
#
# NOTE: version identifiers should be kept as generic as possible,
# i.e. shared by compatible environments.

echo polyml-4.1.3