Initial commit of parser.
[goals.git] / .gitignore
1 *~
2 *.cmi
3 *.cmo
4 *.cmx
5 *.cma
6 *.cmxa
7 *.o
8
9 .depend
10 Goalfile
11 Makefile
12 config.log
13
14 /aclocal.m4
15 /autom4te.cache/
16 /configure
17 /config.h
18 /config.h.in
19 /config.status
20 /install-sh
21 /parsing/goals
22 /parsing/lexer.ml
23 /parsing/parser.conflicts
24 /parsing/parser.ml
25 /parsing/parser.mli
26 /parsing/stamp-parser
27 /stamp-h