hao deng wrote:
On Sat, Aug 6, 2011 at 5:28 AM, Adam Chlipala<[email protected]> wrote:Or I could change the compiler at some point. :)How long will that take? can we enter a ticket for that?
Sure, feel free to add a ticket. It would probably take a few hours. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
