1008bb1546
This release incorporates mostly optimizations and bug fixes. Read bundled NEWS for more details.
9 lines
272 B
Text
9 lines
272 B
Text
@comment $NetBSD: PLIST,v 1.8 2011/04/19 19:18:40 asau Exp $
|
|
bin/maude
|
|
share/maude/linear.maude
|
|
share/maude/machine-int.maude
|
|
share/maude/metaInterpreter.maude
|
|
share/maude/model-checker.maude
|
|
share/maude/prelude.maude
|
|
share/maude/socket.maude
|
|
share/maude/term-order.maude
|