Admin/polyml/bin/polyml-version
changeset 11258 84209fe9fbc9
parent 11073 e45b136716f5
child 11484 44053d894713
equal deleted inserted replaced
11257:622331bbdb7f 11258:84209fe9fbc9
     3 # polyml-version --- issue Poly/ML version identifier
     3 # polyml-version --- issue Poly/ML version identifier
     4 #
     4 #
     5 # NOTE: version identifiers should be kept as generic as possible,
     5 # NOTE: version identifiers should be kept as generic as possible,
     6 # i.e. shared by compatible environments.
     6 # i.e. shared by compatible environments.
     7 
     7 
     8 echo polyml-4.0
     8 echo polyml-4.1