Fix for *PRINT-READABLY* printing of symbols
	... *PRINT-READABLY* targets the /standard/ readtable, not the
		current readtable.
        less than 10 works correctly.
     ** Reading floating-point numbers with *READ-BASE* set to a number
        more than 10 works correctly.
+    ** Printing with *PRINT-READABLY* targets the standard readtable, not
+       the readtable currently in effect.
 
 planned incompatible changes in 0.8.x:
   * (not done yet, but planned:) When the profiling interface settles
 
 ;;; READTABLE-CASE.
 (defun output-symbol-name (name stream &optional (maybe-quote t))
   (declare (type simple-string name))
-  (setup-printer-state)
-  (if (and maybe-quote (symbol-quotep name))
-      (output-quoted-symbol-name name stream)
-      (funcall *internal-symbol-output-fun* name stream)))
+  (let ((*readtable* (if *print-readably* *standard-readtable* *readtable*)))
+    (setup-printer-state)
+    (if (and maybe-quote (symbol-quotep name))
+       (output-quoted-symbol-name name stream)
+       (funcall *internal-symbol-output-fun* name stream))))
 \f
 ;;;; escaping symbols
 
 
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.8.28"
+"0.8.8.29"