From: David Vázquez <davazp@gmail.com>
Date: Thu, 29 Aug 2013 11:13:21 +0000 (-0700)
Subject: Merge pull request #140 from Ferada/search
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=36437e7654af0f66bb7810a61fc85be2f28fe3f7;hp=-c;p=jscl.git

Merge pull request #140 from Ferada/search

Add ELT, SEARCH, MISMATCH and APROPOS, DOCUMENTATION.
---

36437e7654af0f66bb7810a61fc85be2f28fe3f7