# HG changeset patch
# User kleing
# Date 1114728732 -7200
# Node ID a83b9dc6151aa2c0faed363a362aa8d7e2e8bc1d
# Parent  8192fcf136188e093cf494c30f5b19ba755e845e
version update

diff -r 8192fcf13618 -r a83b9dc6151a Admin/polyml/bin/polyml-version
--- a/Admin/polyml/bin/polyml-version	Fri Apr 29 00:51:34 2005 +0200
+++ b/Admin/polyml/bin/polyml-version	Fri Apr 29 00:52:12 2005 +0200
@@ -1,8 +1,10 @@
 #!/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.1
+echo polyml-4.1.3