From: Mike Dean ([email protected])
Date: 03/22/01
> I agree this should be done. I think there's consensus that this should be done. > I'd like to hear from MikeD and Frank about what's > the most straightfoward way to do it; i.e. whether > we should take you up on the offer above. Pat, if you want a CVS account (teach a man to fish ...) let me know. It's probably better to do this from a Unix machine or PC than a Mac, if possible. Alternatively, since I think Peter's done making his changes, you can download the current versions from www.daml.org, edit them, and send the updates to me. Thanks! Mike
This archive was generated by hypermail 2.1.4 : 04/02/02 EST