Mon Jun 8 08:08:15 EDT 2009 Nicolas Pouillard <nicolas.pouill...@gmail.com>
* 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
yi-devel@googlegroups.com
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
