[ANN] ConfigurationOfMagma for Magma 1.0r44

[Miguel Enrique Cobá Martinez]

Now if you want some old version of Magma you can install it too.

For example, to install 1.0r43, evaluate (after installing
ConfigurationOfMagma, of course) any of:

(ConfigurationOfMagma project version: '1.0r43') load: 'Client'.
(ConfigurationOfMagma project version: '1.0r43') load: 'Server'.
(ConfigurationOfMagma project version: '1.0r43') load: 'Tester'.

To install 1.0r44 (like the previous mail):

(ConfigurationOfMagma project version: '1.0r44') load: 'Client'.
(ConfigurationOfMagma project version: '1.0r44') load: 'Server'.
(ConfigurationOfMagma project version: '1.0r44') load: 'Tester'.

As currently 1.0r44 is the latest released version, this is the same
that:

ConfigurationOfMagma project latestVersion load: 'Client'.
ConfigurationOfMagma project latestVersion load: 'Server'.
ConfigurationOfMagma project latestVersion load: 'Tester'.

Also, if you have an old version of ConfigurationOfMagma in your image,
you can update it to the newest version (the one with 1.0r44 version in
it) by evaluating:

ConfigurationOfMagma project updateProject

And then install the new version of Magma as stated before.

Cheers

-- 
Miguel Cobá
http://miguel.leugim.com.mx