Wed Aug 12 10:22:44 EDT 2009 [email protected] * prune focused trees Ignore-this: b116b06b8fc22a9ad00bec2377c173bd
M ./src/Yi/Syntax/Driver.hs -7 +4
M ./src/Yi/Syntax/Latex.hs -3 +4
M ./src/Yi/Syntax/Tree.hs -15 +41
--~--~---------~--~----~------------~-------~--~----~
Yi development mailing list
[email protected]
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
