a0e65e6496
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.
8 lines
352 B
Plaintext
8 lines
352 B
Plaintext
===========================================================================
|
|
$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.
|
|
|
|
===========================================================================
|