| From: Geoffrey S. Knauth (geoff at knauth.org) Date: Mon Feb 2 13:40:01 EST 2009 |
|
How old is DrOCaml? I see on PLaneT that version 1.2 "does not seem to work fully with DrScheme 4.x." Would it be worth it to make it work better?
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}