[Ecls-list] Manual section for `mp:get-lock'

[Juan Jose Garcia-Ripoll]

Hi Scott, thanks for the corrections. I have already committed them to
the GIT repository that keeps the manual sources., but it will take
some time until the on-line manual gets updated --- the computer that
updates them died this week.

Juanjo

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28009 (Spain)
http://juanjose.garciaripoll.googlepages.com