Index: xotcl/library/lib/changeXOTclVersion.xotcl
===================================================================
diff -u -rf7894d9be99a8da3a04218abcdb9bd46b6d625c8 -r638782f84b31e4ebfd00529381e280c70f9950bc
--- xotcl/library/lib/changeXOTclVersion.xotcl	(.../changeXOTclVersion.xotcl)	(revision f7894d9be99a8da3a04218abcdb9bd46b6d625c8)
+++ xotcl/library/lib/changeXOTclVersion.xotcl	(.../changeXOTclVersion.xotcl)	(revision 638782f84b31e4ebfd00529381e280c70f9950bc)
@@ -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 2
-set XOTCL_RELEASE_LEVEL .1
+set XOTCL_MINOR_VERSION 3
+set XOTCL_RELEASE_LEVEL .0
 
 # example settings: 
 # 1.0