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