Index: xotcl/library/lib/changeXOTclVersion.xotcl
===================================================================
diff -u -rbb3c756fb47517596b9dbcb4e580aa1212827b41 -r2846921e448d4d4aeb3245ebbfe4381182f0e286
--- xotcl/library/lib/changeXOTclVersion.xotcl	(.../changeXOTclVersion.xotcl)	(revision bb3c756fb47517596b9dbcb4e580aa1212827b41)
+++ xotcl/library/lib/changeXOTclVersion.xotcl	(.../changeXOTclVersion.xotcl)	(revision 2846921e448d4d4aeb3245ebbfe4381182f0e286)
@@ -5,7 +5,7 @@
 # this program assumes that pwd is in xotcl-full-X.X* directory or subdir
 #
 set XOTCL_MAJOR_VERSION 1
-set XOTCL_MINOR_VERSION 5
+set XOTCL_MINOR_VERSION 4
 set XOTCL_RELEASE_LEVEL .0
 
 # example settings: