In the slime 2.0 manual it says &quot; This is themanual for version 1.2.&quot;<br>
<br>
Tom<br>
<br>
<br>