[Maude-users] Maude 2.3 release

[Francisco Duran]

Dear colleagues,

Maude 2.3 is now available from the Maude web-site at

http://maude.cs.uiuc.edu

This release includes Core Maude 2.3, Full Maude 2.3 and a new Maude 2.3
manual.

Best regards,

The Maude Team