Mon Jun 8 08:08:15 EDT 2009 Nicolas Pouillard <[email protected]> * Add a mode and lexer for the Abella theorem prover Ignore-this: 7ef478cb207790b7d12e10a2f0cbe7ab
M ./Yi/Config/Default.hs -1 +6
M ./Yi/Eval.hs +1
A ./Yi/Lexer/Abella.x
A ./Yi/Mode/Abella.hs
M ./Yi/Modes.hs -1 +1
M ./yi.cabal +6
--~--~---------~--~----~------------~-------~--~----~
Yi development mailing list
[email protected]
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
