ef23d02256
Let the package use the TOOLS facilities for flex and bison Changes in this version includes a few bugfixes, support for syntax for theories, and parser improvement Update fixes PR 31753
5 lines
149 B
Text
5 lines
149 B
Text
@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $
|
|
bin/maude
|
|
share/maude/model-checker.maude
|
|
share/maude/prelude.maude
|
|
@dirrm share/maude
|