ide/.cvsignore


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

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