Tue Jun 9 05:33:10 EDT 2009 Nicolas Pouillard <[email protected]> * Abella: setup marks for proof point (p) and theorem point (t) Ignore-this: 338d5bf4679430ae1def3375109e666c
M ./Yi/Mode/Abella.hs -3 +17
--~--~---------~--~----~------------~-------~--~----~
Yi development mailing list
[email protected]
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
