Hello is any body able to mail (or just send an url ) me the documetation for version 0.99.25. The problem is, that on ftp://space.mit.edu/pub/davis/slang/v0.99. there are only patches and the latest 0.99.38 available. And as far as I know it is not possible to patch backwards. Thank you