Tue Jun 9 05:33:10 EDT 2009 Nicolas Pouillard <nicolas.pouill...@gmail.com> * 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
yi-devel@googlegroups.com
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
