.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