Hello, I'm not on the list, reply me directly. Note I'm not a Maude user/developer. Current source: http://maude.cs.illinois.edu/w/images/2/2d/Maude-2.7.tar.gz Homepage: http://maude.cs.illinois.edu/ --- --- Eduardo Morras <emorrasg at yahoo.es>