diff options
Diffstat (limited to 'lang/twelf')
-rw-r--r-- | lang/twelf/PLIST | 42 |
1 files changed, 1 insertions, 41 deletions
diff --git a/lang/twelf/PLIST b/lang/twelf/PLIST index 588d5dd1c8b..ba60812537e 100644 --- a/lang/twelf/PLIST +++ b/lang/twelf/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.4 2006/04/05 06:25:52 jlam Exp $ +@comment $NetBSD: PLIST,v 1.5 2009/06/14 18:03:44 joerg Exp $ bin/twelf-server bin/twelf-sml info/twelf.info @@ -358,43 +358,3 @@ share/examples/twelf/tabled/tests/test4.elf share/examples/twelf/tabled/tests/test5.elf share/examples/twelf/tabled/tests/test6.elf share/examples/twelf/tabled/tests/test7.elf -@dirrm share/examples/twelf/tabled/tests -@dirrm share/examples/twelf/tabled/subtype1 -@dirrm share/examples/twelf/tabled/subtype -@dirrm share/examples/twelf/tabled/refine -@dirrm share/examples/twelf/tabled/poly -@dirrm share/examples/twelf/tabled/parsing -@dirrm share/examples/twelf/tabled/mini-ml -@dirrm share/examples/twelf/tabled/cr -@dirrm share/examples/twelf/tabled/ccc -@dirrm share/examples/twelf/tabled -@dirrm share/examples/twelf/prop-calc -@dirrm share/examples/twelf/polylam -@dirrm share/examples/twelf/mini-ml -@dirrm share/examples/twelf/lp-horn -@dirrm share/examples/twelf/lp -@dirrm share/examples/twelf/kolm -@dirrm share/examples/twelf/incll -@dirrm share/examples/twelf/handbook -@dirrm share/examples/twelf/guide -@dirrm share/examples/twelf/fol -@dirrm share/examples/twelf/cut-elim -@dirrm share/examples/twelf/cpsocc -@dirrm share/examples/twelf/compile/debruijn1 -@dirrm share/examples/twelf/compile/debruijn -@dirrm share/examples/twelf/compile/cxm -@dirrm share/examples/twelf/compile/cps -@dirrm share/examples/twelf/compile/cpm -@dirrm share/examples/twelf/compile/cls -@dirrm share/examples/twelf/compile -@dirrm share/examples/twelf/church-rosser -@dirrm share/examples/twelf/ccc -@dirrm share/examples/twelf/arith -@dirrm share/examples/twelf -@dirrm share/doc/twelf -@dirrm share/doc/html/twelf -@dirrm ${EMACS_LISPPREFIX}/twelf -@dirrm lib/twelf/bin/.heap -@dirrm lib/twelf/bin/.dbase -@dirrm lib/twelf/bin -@dirrm lib/twelf |