Steel Bank Common Lisp

sbcl-0.8.15 has been released.

from the NEWS file:
changes in sbcl-0.8.16 relative to sbcl-0.8.15:
  * enhancement: saving cores with foreign code loaded is now
    supported on x86/NetBSD and sparc/Linux in addition to the previously
    supported platforms.
  * bug fix: on some platforms repeated installations caused multiple
    copies of HTML documentation to be installed -- should not happen
    any more. (reported by Stefan Scholl)
  * bug fix: parsing self-recursive alien record types multiple times
    no longer causes infinite recursion. (reported by Thomas F. Burdick,
    original patch by Helmut Eller for CMUCL)
  * bug fix: stack-exhaustion detection works now on NetBSD as well.
    (thanks to Richard Kreuter)
  * bug fix: defining classes whose accessors are methods on existing
    generic functions in other (locked) packages no longer signals
    bogus package lock violations. (reported by François-René Rideau)
  * bug fix: special variables as DEFMETHOD parameters no longer have
    associated bogus type declarations. (reported by David Wragg and
    Bruno Haible)
  * bug fix: read-write consistency on streams of element-type
    (SIGNED-BYTE N) for N > 32.  (reported by Bruno Haible for CMUCL)
  * bug fix: redefiniton of the only method of a generic function with
    no DEFGENERIC no longer emits a full WARNING.  In addition,
    redefinition of generic functions with no DEFGENERIC to an
    incompatible lambda list now signals an error.  (thanks to Zach
    Beane)
  * bug fix: DEFGENERIC now works even when there's a function of the
    same name in an enclosing lexical environment.  (thanks to Zach
    Beane)
  * fixed compiler failure, caused by instrumenting code during
    IR1-optimization.  (Debian bug report #273606 by Gabor Melis)
  * optimization: added loop analysis and improved register allocation
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** POSITION on displaced vectors with non-zero displacement
       returns the right answer.
    ** (SIMPLE-STRING) is a valid type specifier for sequence
       creators.
    ** *PRINT-LEVEL* handling for slotless structures is pedantically
       correct.
    ** PPRINT-INDENT accepts a request for an indentation of any REAL.
    ** PPRINT-TAB (and the FORMAT ~T directive) now indent by the
       correct amounts.
    ** The justification version of the FORMAT ~< directive treats
       non-zero minpad parameter correctly.

-- 
William Harold Newman <william.newman@...>
Mathematicians usually know when they have gotten too deep into the 
forest to proceed any further. That is the time Haken takes out his
penknife and cuts down the trees one at a time.
  -- one of Wolfgang Haken's colleagues, quoted in _Four Colors Suffice_