On Sat, Dec 18, 2010 at 2:16 AM, Adam Chlipala <ad...@impredicative.com> wrote: > > Neither of these is supported now, but neither should be hard to add. If > you open Mantis issues for one or both, I should get to them some time soon.
Thanks, I've added them. Now that I've gotten over my fear of registering with mantis I'll try and do this for any issues I come up with. Chris. -- http://www.bluishcoder.co.nz _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur