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.
6 lines
173 B
Text
6 lines
173 B
Text
@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $
|
|
bin/maude
|
|
share/maude/fm.maude
|
|
share/maude/model-checker.maude
|
|
share/maude/prelude.maude
|
|
@dirrm share/maude
|