Index: tclreadlineSetup.tcl.in
==================================================================
--- tclreadlineSetup.tcl.in
+++ tclreadlineSetup.tcl.in
@@ -1,8 +1,8 @@
 #!/usr/local/bin/tclsh
-# FILE: "/home/joze/src/tclreadline/tclreadlineSetup.tcl.in"
-# LAST MODIFICATION: "Sun Aug 22 23:54:09 1999 (joze)"
+# FILE: "/diska/home/joze/src/tclreadline/tclreadlineSetup.tcl.in"
+# LAST MODIFICATION: "Mon Aug 23 00:34:14 1999 (joze)"
 # (C) 1998, 1999 by Johannes Zellner, <johannes@zellner.org>
 # $Id$
 # ---
 #
 # tclreadline -- gnu readline for tcl
@@ -305,21 +305,12 @@
             }
         }
 
     }
 
-
-
-    global pi
-    set pi 3.1415926535897931
-    set tcl_precision 17
-
-
-
     global env
     variable historyfile
-
 
     if [info exists env(HOME)] {
         set historyfile  $env(HOME)/.tclsh-history
     } else {
         set historyfile  .tclsh-history