29 lines
1,007 B
Text
29 lines
1,007 B
Text
@comment $NetBSD: PLIST,v 1.1 2001/11/01 00:24:05 zuntum Exp $
|
|
bin/maude
|
|
bin/prelude.maude
|
|
bin/full-maude.maude
|
|
share/examples/maude/accnt.fm
|
|
share/examples/maude/binary.maude
|
|
share/examples/maude/duplicate-ten.maude
|
|
share/examples/maude/duplicate.maude
|
|
share/examples/maude/interoperability.fm
|
|
share/examples/maude/max.fm
|
|
share/examples/maude/meta-interpreter.maude
|
|
share/examples/maude/meta-meta-nat.fm
|
|
share/examples/maude/mini-maude.fm
|
|
share/examples/maude/mini-maude.maude
|
|
share/examples/maude/nd-int.maude
|
|
share/examples/maude/nim-strategy.maude
|
|
share/examples/maude/number-hierarchy.maude
|
|
share/examples/maude/numbers.maude
|
|
share/examples/maude/path.fm
|
|
share/examples/maude/path.maude
|
|
share/examples/maude/petri-net.maude
|
|
share/examples/maude/set-hierarchy.maude
|
|
share/examples/maude/sieve.maude
|
|
share/examples/maude/sorting-strategy.maude
|
|
share/examples/maude/sorting.maude
|
|
share/examples/maude/stack.fm
|
|
share/examples/maude/stack2.fm
|
|
share/examples/maude/strategy.maude
|
|
@dirrm share/examples/maude
|