Tree @debian/8.0pl1-2 (Download .tar.gz)

• ..
• coqdoc
• check-v8
• coq-inferior.el
• coq-sl.sty
• coq-tex.ml4
• coq.el
• coq_makefile.ml4
• coqdep.ml
• coqdep_lexer.mll
• coqwc.mll
• gallina.ml
• gallina_lexer.mll
• README.coq-tex
• README.emacs
• restore-v7
• translate-v8
• translate_V6-3-1_to_V7-0
• upgrade-v8