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)
Add ELT, SEARCH, MISMATCH and APROPOS, DOCUMENTATION.


Trivial merge