.cvsignore « ide - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/ide/.cvsignore

blob: a50b4b99ef9dc6da1d67753a943da3125ff6bb81 (plain)

lexer.ml
why_viewer
.depend
find_phrase.ml
highlight.ml
coqide
Makefile
test