DevelopmentArchive - coq/coq GitHub Wiki

• Discussion on OPAM (2015)
• Regression tests (2015)
• Discussion on the design of a new tactic language (2009)