New features since 2.1.1 ========================= * Core Maude support for parameterized modules * Predefined container data types such as SET and ARRAY. * Counters for implicit state * Random number generation * External object support; internet sockets * Builtin linear Diophantine equation solver Other improvements =================== * Overparsing recovers gracefully from more common mistakes * More descent functions; some existing descent functions generalized * More command line options