Merge pull request #140 from Ferada/search
authorDavid Vázquez <davazp@gmail.com>
Thu, 29 Aug 2013 11:13:21 +0000 (04:13 -0700)
committerDavid Vázquez <davazp@gmail.com>
Thu, 29 Aug 2013 11:13:21 +0000 (04:13 -0700)
commit36437e7654af0f66bb7810a61fc85be2f28fe3f7
tree7684dbcbc841c35edf968d96f769f8dbbb010d49
parent572b5aee5c17cbc3f1165ee6c6f2ca6e6d772eed
parentdbc86b4e5da669dc336c1203f48445393f6ac864
Merge pull request #140 from Ferada/search

Add ELT, SEARCH, MISMATCH and APROPOS, DOCUMENTATION.