[open-axiom-devel] jap-sandbox sync'ed with trunk

[Gabriel D. R. <gd...@cs...>]

Hi Alfredo,

  I've sync'ed jap-sandbox with trunk.  Please, double-check that I
have not done damage in the process.

-- Gaby