blob: 2b1207a19745625e7a0c0b2608d4267b9be468f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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
|
