Hi, So after taking a quick look online, it looks like photran a) doesn't work Eclipse 3.1 yet and b) doesn't have public CVS. Something will need to be done about the latter if we want a buildable source zip. We should contact the authors and discuss options and then hopefully be ready to go by the time photran works with 3.1. Andrew
