run: If multiple goals match a tactic, at most one must have a CODE section.
[goals.git] / .gitignore
1 *~
2 *.cmi
3 *.cmo
4 *.cmx
5 *.cma
6 *.cmxa
7 *.o
8
9 .depend
10 Goalfile
11 Makefile
12
13 /aclocal.m4
14 /autom4te.cache/
15 /configure
16 /config.h
17 /config.h.in
18 /config.log
19 /config.status
20 /install-sh
21 /run
22 /src/config.ml
23 /src/goals
24 /src/lexer.ml
25 /src/parser.conflicts
26 /src/parser.ml
27 /src/parser.mli
28 /src/stamp-parser
29 /stamp-h