From: David Vázquez 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/?p=jscl.git;a=commitdiff_plain;h=36437e7654af0f66bb7810a61fc85be2f28fe3f7 Merge pull request #140 from Ferada/search Add ELT, SEARCH, MISMATCH and APROPOS, DOCUMENTATION. --- 36437e7654af0f66bb7810a61fc85be2f28fe3f7