[ANN] ConfigurationOfMagma for Magma 1.0r44
Miguel Enrique Cobá Martinez
miguel.coba at gmail.com
Mon Mar 15 23:14:57 UTC 2010
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
More information about the Magma
mailing list