blob: ccc7832896c6a36c582a0dc29822b8a2d09f354f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
@comment $NetBSD: PLIST,v 1.4 2007/12/01 13:15:55 rillig Exp $
bin/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
|
