nekrograve/HINT — pull request #1 by nekrograve (2012-07-24 07:54:35+00:00)
Title: New search infrastructure implemented.

1. New search infrastructure
2. Code cleanup
3. OTP-biftab based PLT generation
4. Dialyzed