ide/.cvsignore


1
2
3
4
5
6
7
8
9
10
11
12

lexer.ml
why_viewer
.depend
find_phrase.ml
highlight.ml
coqide
Makefile
test
config_lexer.ml
*.crashcoqide
config_parser.mli
config_parser.ml