Hello,
I want to use the rts for the first time and I am just not sure which
openmcl version I should use. I tried with the 1.0 release version,
which crashes when I do the (rts ...) (maybe because I am using SLIME?).
I read in the doc that the cvs version is required, but does that
mean I really should go for the bleeding edge, meaning check out
openmcl-dev?
Thanks,
Kilian Sprotte