NEWS

20
58
59
62
65
67
68
69:the-coq-workshop-2009
70:announcing-lngen
71:a-locally-nameless-backend-for-ott
72:first-asian-pacific-coq-summer-school
78:a-tactic-for-deciding-kleene-algebras
81:coq-82pl1-is-out
83:announcing-ssreflect-version-12
91:coq-83-beta-version
93:coq-workshop-2010
94:2nd-asian-pacific-coq-summer-school
95:alpha-release-of-coq-modulo-theories
96:coq-83-is-out
98:coq-83pl2-is-out
99:3rd-asian-pacific-summer-school-on-formal-methods
100:coq-workshop-2011
105:coq-83pl3-is-out
106:beta-release-of-coq-84
107:release-candidate-of-coq-84-is-out
110:coq-84-is-out
114:coq-received-acm-sigplan-programming-languages-software-2013-award
115:coq-source-repository-migrated-to-git
119:coq-received-acm-software-system-2013-award
120:coq-84pl4-is-out
121:coq-is-hiring-a-specialized-engineer-for-2-years
122
123:coq-85beta1-is-out
124:coq-84pl6-is-out
125:coq-85beta2-is-out
126:coq-85beta3-is-out
127:coq-85rc1-is-out