Sun May 24 15:24:51 EDT 2009 [email protected] * JS: Integrating the verifier with Yi. Ignore-this: bd9e508a48ab6fa8065120193b511448
M ./Yi/Mode/JavaScript.hs -16 +55
M ./Yi/Verifier/JavaScript.hs -9 +4
--~--~---------~--~----~------------~-------~--~----~
Yi development mailing list
[email protected]
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
