Tree @debian/8.0pl1-3 (Download .tar.gz)
- config
- contrib
- contrib7
- debian
- dev
- ide
- interp
- kernel
- lib
- library
- man
- parsing
- pretyping
- proofs
- scripts
- states
- states7
- syntax
- tactics
- test-suite
- theories
- theories7
- tools
- toplevel
- translate
- .depend
- .depend.camlp4
- .depend.coq
- .depend.coq7
- CHANGES
- configure
- COPYRIGHT
- CREDITS
- INSTALL
- INSTALL.ide
- INSTALL.macosx
- INSTALL.win
- LICENSE
- Makefile
- Makefile.dep
- README
- README.win
Commit History @debian/8.0pl1-3
0
»»
- We're uploading in experimental. Samuel Mimram 19 years ago
- Corrected a typo. Samuel Mimram 19 years ago
- Getting ready for an upload to experimental. Samuel Mimram 19 years ago
- Ready for 3.08 + removed dpatch support. Samuel Mimram 19 years ago
- We only need to call check since world depends on it. Samuel Mimram 19 years ago
- Corrected a bug due to a really unexpected bheaviour of make. Samuel Mimram 19 years ago
- Check is now in byte when compiled in fallback byte. Samuel Mimram 19 years ago
- Opt with fallback on byte should work now. Samuel Mimram 19 years ago
- Working bytecode fallback. Samuel Mimram 19 years ago
- Try to build in opt, ready for dpatch, manpages added (but not used yet). Samuel Mimram 19 years ago
- Added a manpage for coqide. Samuel Mimram 19 years ago
- Corrected a few problems. Samuel Mimram 19 years ago
- Now installing .coqide-gtk2rc. Samuel Mimram 19 years ago
- We don't want --fail-missing Samuel Mimram 19 years ago
- Stupid mistake. Samuel Mimram 19 years ago
- Minor changes. Samuel Mimram 19 years ago
- Added manpage, removed utf8.vo and FAQ from lib. Samuel Mimram 19 years ago
- Removed coq-interface manpage. Samuel Mimram 19 years ago
- Added coqide faq. Samuel Mimram 19 years ago
- Added coqide faq. Samuel Mimram 19 years ago
- Getting prepared for the licensing-problems-free 8.0 release of COQ. Samuel Mimram 19 years ago
- Imported Upstream version 8.0pl1 Samuel Mimram 19 years ago
0
»»