diff options
Diffstat (limited to 'lang/maude/PLIST')
-rw-r--r-- | lang/maude/PLIST | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/lang/maude/PLIST b/lang/maude/PLIST new file mode 100644 index 00000000000..2b1207a1974 --- /dev/null +++ b/lang/maude/PLIST @@ -0,0 +1,29 @@ +@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 |