In the slime 2.0 manual it says " This is themanual for version 1.2."

Tom