diff options
Diffstat (limited to 'lang/maude/PLIST')
| -rw-r--r-- | lang/maude/PLIST | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/lang/maude/PLIST b/lang/maude/PLIST index c8a1f42ab77..ccc7832896c 100644 --- a/lang/maude/PLIST +++ b/lang/maude/PLIST @@ -1,5 +1,11 @@ -@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $ +@comment $NetBSD: PLIST,v 1.4 2007/12/01 13:15:55 rillig Exp $ bin/maude -share/maude/model-checker.maude -share/maude/prelude.maude -@dirrm share/maude +share/examples/maude/linear.maude +share/examples/maude/machine-int.maude +share/examples/maude/model-checker.maude +share/examples/maude/model-checker.maude +share/examples/maude/prelude.maude +share/examples/maude/prelude.maude +share/examples/maude/socket.maude +share/examples/maude/term-order.maude +@dirrm share/examples/maude |