Tree @debian/8.5_beta3+dfsg-1 (Download .tar.gz)
- checker
- config
- debian
- dev
- doc
- grammar
- ide
- interp
- intf
- kernel
- lib
- library
- man
- parsing
- plugins
- pretyping
- printing
- proofs
- stm
- tactics
- test-suite
- theories
- tools
- toplevel
- .gitattributes
- .mailmap
- .merlin
- _tags
- build
- CHANGES
- COMPATIBILITY
- configure
- configure.ml
- COPYRIGHT
- coq-win32.itarget
- coq.itarget
- CREDITS
- INSTALL
- INSTALL.doc
- INSTALL.ide
- install.sh
- LICENSE
- Makefile
- Makefile.build
- Makefile.common
- Makefile.doc
- myocamlbuild.ml
- README
- README.doc
- README.win
CHANGES @debian/8.5_beta3+dfsg-1 — raw · history
(Large file not shown — Download file)