List Info

Thread: http://www.swox.com/gmp/#PROJECTS
http://www.swox.com/gmp/#PROJECTS
user name
 2006-03-25 13:04:52 
Maude  (http://maude.cs.uiuc.edu
) uses GMP too.
Greetings,
Rick
_______________________________________________
gmp-discuss mailing list
gmp-discussswox.com
http://s
wox.com/mailman/listinfo/gmp-discuss
http://www.swox.com/gmp/#PROJECTS
user name
 2006-03-26 12:34:37 
> Maude  (http://maude.cs.uiuc.edu
) uses GMP too.
> Greetings,
> Rick

If you get a chance to update the webpage you might as well
add the
CoCoALib (http://cocoa.dima.unige.i
t/) - which unlike its predecessor
(CoCoA 4.5) is gpled. CoCoA 4.5 is only free as in beer :(.
We are
currently writing a replacement for CoCoA 4.5 that will be
relased under
the gpl.

Cheers,

Michael

_______________________________________________
gmp-discuss mailing list
gmp-discussswox.com
http://s
wox.com/mailman/listinfo/gmp-discuss
[1-2]

about | contact  Other archives ( Real Estate discussion Medical topics )