Index: generic/aol-xotcl.tcl
===================================================================
diff -u -rc72f9f638677608fab1502cd696c8f2d6b2952f9 -r46f02e4868e118466d888b35d6b281b3f2ba31ac
--- generic/aol-xotcl.tcl	(.../aol-xotcl.tcl)	(revision c72f9f638677608fab1502cd696c8f2d6b2952f9)
+++ generic/aol-xotcl.tcl	(.../aol-xotcl.tcl)	(revision 46f02e4868e118466d888b35d6b281b3f2ba31ac)
@@ -1,4 +1,4 @@
-# $Id: aol-xotcl.tcl,v 1.15 2007/08/14 16:38:26 neumann Exp $
+# $Id: aol-xotcl.tcl,v 1.12 2006/09/27 08:12:40 neumann Exp $
 
 #
 # Load XOTcl library and some related packages.