.depend
Goalfile
Makefile
.depend
Goalfile
Makefile
/aclocal.m4
/autom4te.cache/
/configure
/config.h
/config.h.in
/aclocal.m4
/autom4te.cache/
/configure
/config.h
/config.h.in
/config.status
/install-sh
/config.status
/install-sh
/src/goals
/src/lexer.ml
/src/parser.conflicts
/src/goals
/src/lexer.ml
/src/parser.conflicts