#!/bin/sh # # 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