- Exported functions new_name and new_names
- Fixed incompatible signatures problem in unfold_attr
#!/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.1