pkgsrc/lang/maude/MESSAGE

===========================================================================
$NetBSD: MESSAGE,v 1.2 2003/12/31 01:20:35 kristerw Exp $

In order for the maude binary to find the .maude files you should set
the environment variable MAUDE_LIB to point to ${PREFIX}/share/maude.

===========================================================================
Initial import of maude, a system for equational and rewriting logic specification/programming. Package provided by Paolo Torelli in pkg/11280. Attention: Very restrictive license, to be filled out and returned in hardcopy before usage. 2001-03-20 12:57:41 +01:00			`===========================================================================`
Update lang/maude to version 2.0.1. Maude 2 extends and generalizes Maude 1 to allow more expressive modules and a wider range of computational commands. The license has been changed to the GNU General Public License. 2003-12-31 02:20:35 +01:00			$NetBSD: MESSAGE,v 1.2 2003/12/31 01:20:35 kristerw Exp $
Initial import of maude, a system for equational and rewriting logic specification/programming. Package provided by Paolo Torelli in pkg/11280. Attention: Very restrictive license, to be filled out and returned in hardcopy before usage. 2001-03-20 12:57:41 +01:00
Update lang/maude to version 2.0.1. Maude 2 extends and generalizes Maude 1 to allow more expressive modules and a wider range of computational commands. The license has been changed to the GNU General Public License. 2003-12-31 02:20:35 +01:00			`In order for the maude binary to find the .maude files you should set`
			`the environment variable MAUDE_LIB to point to ${PREFIX}/share/maude.`
Initial import of maude, a system for equational and rewriting logic specification/programming. Package provided by Paolo Torelli in pkg/11280. Attention: Very restrictive license, to be filled out and returned in hardcopy before usage. 2001-03-20 12:57:41 +01:00
			`===========================================================================`