diff --git a/Makefile b/Makefile index fa6f275828a38..207f56b492b9f 100644 --- a/Makefile +++ b/Makefile @@ -82,9 +82,9 @@ $(DST)/coq-workshop/2009/cfp/index.html: ## News, listed in the NEWSINDEX file -NEWS:= $(shell cut -f1 -d: NEWSINDEX | sort -r -n) +NEWS:= $(shell cat NEWSINDEX) -RECENTNEWS:= 149 148 147 +RECENTNEWS:= $(shell head -n 3 NEWSINDEX) NEWSSRC:=$(addprefix news/,$(NEWS)) NEWSDST:=$(patsubst %,$(DST)/news/%.html,$(NEWS)) diff --git a/NEWSINDEX b/NEWSINDEX index 3fc4bff3512ed..2e0d417766181 100644 --- a/NEWSINDEX +++ b/NEWSINDEX @@ -1,59 +1,59 @@ -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:coq-84pl5-is-out -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 -128:coq-85-is-out -129:coq-85pl1-is-out -130:coq-85pl2-is-out -131:coq-85pl3-is-out -132:coq-86beta1-is-out -133:coq-86rc1-is-out -134:coq-86-is-out -135:coq-861-is-out -136 -137:coq-87beta1-is-out -138:coq-87beta2-is-out -139:coq-870-is-out -140 -141:coq-871-is-out +coq-890-is-out +coq-89beta1-is-out +coq-882-is-out +coq-881-is-out +coq-88-is-out +coq-88beta1-is-out +coq-872-is-out 142 -143:coq-872-is-out -144:coq-88beta1-is-out -145:coq-88-is-out -146:coq-881-is-out -147:coq-882-is-out -148:coq-89beta1-is-out -149:coq-890-is-out +coq-871-is-out +140 +coq-870-is-out +coq-87beta2-is-out +coq-87beta1-is-out +136 +coq-861-is-out +coq-86-is-out +coq-86rc1-is-out +coq-86beta1-is-out +coq-85pl3-is-out +coq-85pl2-is-out +coq-85pl1-is-out +coq-85-is-out +coq-85rc1-is-out +coq-85beta3-is-out +coq-85beta2-is-out +coq-84pl6-is-out +coq-85beta1-is-out +coq-84pl5-is-out +coq-is-hiring-a-specialized-engineer-for-2-years +coq-84pl4-is-out +coq-received-acm-software-system-2013-award +coq-source-repository-migrated-to-git +coq-received-acm-sigplan-programming-languages-software-2013-award +coq-84-is-out +release-candidate-of-coq-84-is-out +beta-release-of-coq-84 +coq-83pl3-is-out +coq-workshop-2011 +3rd-asian-pacific-summer-school-on-formal-methods +coq-83pl2-is-out +coq-83-is-out +alpha-release-of-coq-modulo-theories +2nd-asian-pacific-coq-summer-school +coq-workshop-2010 +coq-83-beta-version +announcing-ssreflect-version-12 +coq-82pl1-is-out +a-tactic-for-deciding-kleene-algebras +first-asian-pacific-coq-summer-school +a-locally-nameless-backend-for-ott +announcing-lngen +the-coq-workshop-2009 +68 +67 +65 +62 +59 +58 +20 diff --git a/README.md b/README.md index 6cb98f110965f..3067998a1e10a 100644 --- a/README.md +++ b/README.md @@ -52,11 +52,11 @@ file `yamlpp.mll` to customize the pre-processing, you will also need * make, verify, commit, push as for the edition of an existing page below. ## And for news? -* Add a new file in `news/` with an increased number as filename. +* Add a new file in `news/` with the file name of your liking. You can for instance copy `news/template` and adapt it, or any existing news files. See `news/template` for details about the expected syntax. -* In the file NEWS, add your news number, with an optional url alias. - In the Makefile, update the `$(RECENTNEWS)` variable. +* In the file NEWS, add your news title (filename) at the top + (this list is sorted in chronological order, most recent first). * make, verify, commit, push as usual diff --git a/news/94 b/news/2nd-asian-pacific-coq-summer-school similarity index 92% rename from news/94 rename to news/2nd-asian-pacific-coq-summer-school index 8abea59963a30..dfe003ac94db6 100644 --- a/news/94 +++ b/news/2nd-asian-pacific-coq-summer-school @@ -1,4 +1,4 @@ -<#def ID>94 +<#def ID>2nd-asian-pacific-coq-summer-school <#def TITLE>2nd Asian-Pacific Coq Summer School <#def AUTHOR>herbelin <#def DATE>9 Jun 2010 09:00 GMT diff --git a/news/99 b/news/3rd-asian-pacific-summer-school-on-formal-methods similarity index 89% rename from news/99 rename to news/3rd-asian-pacific-summer-school-on-formal-methods index 2d81c6c3e99bc..d9b8fdb452bff 100644 --- a/news/99 +++ b/news/3rd-asian-pacific-summer-school-on-formal-methods @@ -1,4 +1,4 @@ -<#def ID>99 +<#def ID>3rd-asian-pacific-summer-school-on-formal-methods <#def TITLE>3rd Asian-Pacific Summer School on Formal Methods <#def AUTHOR>herbelin <#def DATE>25 Apr 2011 17:53 GMT diff --git a/news/71 b/news/a-locally-nameless-backend-for-ott similarity index 95% rename from news/71 rename to news/a-locally-nameless-backend-for-ott index 13d7dc0e74f33..9b8ee1d723f0d 100644 --- a/news/71 +++ b/news/a-locally-nameless-backend-for-ott @@ -1,4 +1,4 @@ -<#def ID>71 +<#def ID>a-locally-nameless-backend-for-ott <#def TITLE>A locally-nameless backend for Ott <#def AUTHOR>coq-www <#def DATE>10 Mar 2009 12:29 GMT diff --git a/news/78 b/news/a-tactic-for-deciding-kleene-algebras similarity index 96% rename from news/78 rename to news/a-tactic-for-deciding-kleene-algebras index c6317a4b51218..0322958f4fa21 100644 --- a/news/78 +++ b/news/a-tactic-for-deciding-kleene-algebras @@ -1,4 +1,4 @@ -<#def ID>78 +<#def ID>a-tactic-for-deciding-kleene-algebras <#def TITLE>A tactic for deciding Kleene algebras <#def AUTHOR>coq-www <#def DATE>9 Jun 2009 20:58 GMT diff --git a/news/95 b/news/alpha-release-of-coq-modulo-theories similarity index 89% rename from news/95 rename to news/alpha-release-of-coq-modulo-theories index 6bacecd9f9517..d34a469c0a57c 100644 --- a/news/95 +++ b/news/alpha-release-of-coq-modulo-theories @@ -1,4 +1,4 @@ -<#def ID>95 +<#def ID>alpha-release-of-coq-modulo-theories <#def TITLE>Alpha-release of Coq Modulo Theories <#def AUTHOR>herbelin <#def DATE>22 Jun 2010 22:10 GMT diff --git a/news/70 b/news/announcing-lngen similarity index 97% rename from news/70 rename to news/announcing-lngen index ea873a76f826d..6d391dd59ce3b 100644 --- a/news/70 +++ b/news/announcing-lngen @@ -1,4 +1,4 @@ -<#def ID>70 +<#def ID>announcing-lngen <#def TITLE>Announcing LNgen <#def AUTHOR>coq-www <#def DATE>11 Mar 2009 20:00 GMT diff --git a/news/83 b/news/announcing-ssreflect-version-12 similarity index 98% rename from news/83 rename to news/announcing-ssreflect-version-12 index 5b508c0be6cdd..6bffb0182b07e 100644 --- a/news/83 +++ b/news/announcing-ssreflect-version-12 @@ -1,4 +1,4 @@ -<#def ID>83 +<#def ID>announcing-ssreflect-version-12 <#def TITLE>Announcing Ssreflect version 1.2 <#def AUTHOR>coq-www <#def DATE>19 Aug 2009 12:00 GMT diff --git a/news/106 b/news/beta-release-of-coq-84 similarity index 85% rename from news/106 rename to news/beta-release-of-coq-84 index 0bbf9e6c9ede7..7108dc693fc3c 100644 --- a/news/106 +++ b/news/beta-release-of-coq-84 @@ -1,4 +1,4 @@ -<#def ID>106 +<#def ID>beta-release-of-coq-84 <#def TITLE>Beta-release of Coq 8.4 <#def AUTHOR>herbelin <#def DATE>27 Dec 2011 19:38 GMT diff --git a/news/81 b/news/coq-82pl1-is-out similarity index 88% rename from news/81 rename to news/coq-82pl1-is-out index a804b545882f8..932b9f220bc42 100644 --- a/news/81 +++ b/news/coq-82pl1-is-out @@ -1,4 +1,4 @@ -<#def ID>81 +<#def ID>coq-82pl1-is-out <#def TITLE>Coq 8.2pl1 is out ! <#def AUTHOR>coq-www <#def DATE>4 Jul 2009 03:47 GMT diff --git a/news/91 b/news/coq-83-beta-version similarity index 95% rename from news/91 rename to news/coq-83-beta-version index 79f734470727d..da94425a4de12 100644 --- a/news/91 +++ b/news/coq-83-beta-version @@ -1,4 +1,4 @@ -<#def ID>91 +<#def ID>coq-83-beta-version <#def TITLE>Coq 8.3 beta version <#def AUTHOR>coq-www <#def DATE>16 Feb 2010 17:44 GMT diff --git a/news/96 b/news/coq-83-is-out similarity index 98% rename from news/96 rename to news/coq-83-is-out index 7ecbf1b34aacc..dfae58d09036e 100644 --- a/news/96 +++ b/news/coq-83-is-out @@ -1,4 +1,4 @@ -<#def ID>96 +<#def ID>coq-83-is-out <#def TITLE>Coq 8.3 is out ! <#def AUTHOR>coq-www <#def DATE>14 Oct 2010 16:45 GMT diff --git a/news/98 b/news/coq-83pl2-is-out similarity index 92% rename from news/98 rename to news/coq-83pl2-is-out index 8d05e23d6c1c4..ad767d29f0b69 100644 --- a/news/98 +++ b/news/coq-83pl2-is-out @@ -1,4 +1,4 @@ -<#def ID>98 +<#def ID>coq-83pl2-is-out <#def TITLE>Coq 8.3pl2 is out <#def AUTHOR>herbelin <#def DATE>25 Apr 2011 17:44 GMT diff --git a/news/105 b/news/coq-83pl3-is-out similarity index 93% rename from news/105 rename to news/coq-83pl3-is-out index db00ff2bbfe41..7bc320a3e192f 100644 --- a/news/105 +++ b/news/coq-83pl3-is-out @@ -1,4 +1,4 @@ -<#def ID>105 +<#def ID>coq-83pl3-is-out <#def TITLE>Coq 8.3pl3 is out <#def AUTHOR>herbelin <#def DATE>27 Dec 2011 10:30 GMT diff --git a/news/110 b/news/coq-84-is-out similarity index 93% rename from news/110 rename to news/coq-84-is-out index 66ea75554cbb1..b1686b9807c78 100644 --- a/news/110 +++ b/news/coq-84-is-out @@ -1,4 +1,4 @@ -<#def ID>110 +<#def ID>coq-84-is-out <#def TITLE>Coq 8.4 is out! <#def AUTHOR>herbelin <#def DATE>12 Aug 2012 12:16 GMT diff --git a/news/120 b/news/coq-84pl4-is-out similarity index 93% rename from news/120 rename to news/coq-84pl4-is-out index 158915d539b3d..fa54f89e5a9a9 100644 --- a/news/120 +++ b/news/coq-84pl4-is-out @@ -1,4 +1,4 @@ -<#def ID>120 +<#def ID>coq-84pl4-is-out <#def TITLE>Coq 8.4pl4 is out <#def AUTHOR>boutillier <#def DATE>12 May 2014 11:11 GMT diff --git a/news/122 b/news/coq-84pl5-is-out similarity index 91% rename from news/122 rename to news/coq-84pl5-is-out index 0d90ce6a6162f..62579848090a6 100644 --- a/news/122 +++ b/news/coq-84pl5-is-out @@ -1,4 +1,4 @@ -<#def ID>122 +<#def ID>coq-84pl5-is-out <#def TITLE>Coq 8.4pl5 is out <#def AUTHOR>coq-www <#def DATE>31 Oct 2014 06:11 GMT diff --git a/news/124 b/news/coq-84pl6-is-out similarity index 90% rename from news/124 rename to news/coq-84pl6-is-out index a018b333efb6a..becafdc2cea90 100644 --- a/news/124 +++ b/news/coq-84pl6-is-out @@ -1,4 +1,4 @@ -<#def ID>124 +<#def ID>coq-84pl6-is-out <#def TITLE>Coq 8.4pl6 is out <#def AUTHOR>coq-www <#def DATE>9 Apr 2015 16:25 GMT diff --git a/news/128 b/news/coq-85-is-out similarity index 97% rename from news/128 rename to news/coq-85-is-out index 5f65c1dd0995a..d48b81faee43f 100644 --- a/news/128 +++ b/news/coq-85-is-out @@ -1,4 +1,4 @@ -<#def ID>128 +<#def ID>coq-85-is-out <#def TITLE>Coq 8.5 is out! <#def AUTHOR>Maxime Dénès <#def DATE>21 Jan 2016 21:00 GMT diff --git a/news/123 b/news/coq-85beta1-is-out similarity index 97% rename from news/123 rename to news/coq-85beta1-is-out index 7bb2ea7df7353..baf8ac33484cb 100644 --- a/news/123 +++ b/news/coq-85beta1-is-out @@ -1,4 +1,4 @@ -<#def ID>123 +<#def ID>coq-85beta1-is-out <#def TITLE>Coq 8.5 beta 1 is out! <#def AUTHOR>coq-www <#def DATE>21 Jan 2015 15:00 GMT diff --git a/news/125 b/news/coq-85beta2-is-out similarity index 97% rename from news/125 rename to news/coq-85beta2-is-out index 54e93ff5094fe..35fc9b837075f 100644 --- a/news/125 +++ b/news/coq-85beta2-is-out @@ -1,4 +1,4 @@ -<#def ID>125 +<#def ID>coq-85beta2-is-out <#def TITLE>Coq 8.5 beta 2 is out! <#def AUTHOR>Matthieu Sozeau <#def DATE>22 Apr 2015 19:00 GMT diff --git a/news/126 b/news/coq-85beta3-is-out similarity index 97% rename from news/126 rename to news/coq-85beta3-is-out index c5ee28d1a2e6d..4d37e3e2a8e57 100644 --- a/news/126 +++ b/news/coq-85beta3-is-out @@ -1,4 +1,4 @@ -<#def ID>126 +<#def ID>coq-85beta3-is-out <#def TITLE>Coq 8.5 beta 3 is out! <#def AUTHOR>Maxime Dénès <#def DATE>11 Nov 2015 19:30 GMT diff --git a/news/129 b/news/coq-85pl1-is-out similarity index 93% rename from news/129 rename to news/coq-85pl1-is-out index cd73c84fa7144..4f6cf60c25d76 100644 --- a/news/129 +++ b/news/coq-85pl1-is-out @@ -1,4 +1,4 @@ -<#def ID>129 +<#def ID>coq-85pl1-is-out <#def TITLE>Coq 8.5pl1 is out <#def AUTHOR>Maxime Dénès <#def DATE>10 Apr 2016 diff --git a/news/130 b/news/coq-85pl2-is-out similarity index 92% rename from news/130 rename to news/coq-85pl2-is-out index 03b47fb688c06..0a5e0caabc17f 100644 --- a/news/130 +++ b/news/coq-85pl2-is-out @@ -1,4 +1,4 @@ -<#def ID>130 +<#def ID>coq-85pl2-is-out <#def TITLE>Coq 8.5pl2 is out <#def AUTHOR>Maxime Dénès <#def DATE>11 Jul 2016 diff --git a/news/131 b/news/coq-85pl3-is-out similarity index 92% rename from news/131 rename to news/coq-85pl3-is-out index 7657666645679..acd3ac8345997 100644 --- a/news/131 +++ b/news/coq-85pl3-is-out @@ -1,4 +1,4 @@ -<#def ID>131 +<#def ID>coq-85pl3-is-out <#def TITLE>Coq 8.5pl3 is out <#def AUTHOR>Maxime Dénès <#def DATE>27 Oct 2016 diff --git a/news/127 b/news/coq-85rc1-is-out similarity index 97% rename from news/127 rename to news/coq-85rc1-is-out index 0880a2d17cfcc..0643765989193 100644 --- a/news/127 +++ b/news/coq-85rc1-is-out @@ -1,4 +1,4 @@ -<#def ID>127 +<#def ID>coq-85rc1-is-out <#def TITLE>Coq 8.5 rc 1 is out! <#def AUTHOR>Maxime Dénès <#def DATE>11 Nov 2015 19:30 GMT diff --git a/news/134 b/news/coq-86-is-out similarity index 98% rename from news/134 rename to news/coq-86-is-out index 64ce4c553a6a7..59053eafa9282 100644 --- a/news/134 +++ b/news/coq-86-is-out @@ -1,4 +1,4 @@ -<#def ID>134 +<#def ID>coq-86-is-out <#def TITLE>Coq 8.6 is out <#def AUTHOR>Maxime Dénès <#def DATE>14 Dec 2016 diff --git a/news/135 b/news/coq-861-is-out similarity index 92% rename from news/135 rename to news/coq-861-is-out index af13d8e23d523..35f77167c8663 100644 --- a/news/135 +++ b/news/coq-861-is-out @@ -1,4 +1,4 @@ -<#def ID>135 +<#def ID>coq-861-is-out <#def TITLE>Coq 8.6.1 is out <#def AUTHOR>Maxime Dénès <#def DATE>25 Jul 2017 diff --git a/news/132 b/news/coq-86beta1-is-out similarity index 98% rename from news/132 rename to news/coq-86beta1-is-out index 15877823e1c82..ccfde92018ad5 100644 --- a/news/132 +++ b/news/coq-86beta1-is-out @@ -1,4 +1,4 @@ -<#def ID>132 +<#def ID>coq-86beta1-is-out <#def TITLE>Coq 8.6 beta 1 is out <#def AUTHOR>Maxime Dénès <#def DATE>19 Nov 2016 diff --git a/news/133 b/news/coq-86rc1-is-out similarity index 98% rename from news/133 rename to news/coq-86rc1-is-out index 25047acb71d7f..33c5e37560aeb 100644 --- a/news/133 +++ b/news/coq-86rc1-is-out @@ -1,4 +1,4 @@ -<#def ID>133 +<#def ID>coq-86rc1-is-out <#def TITLE>Coq 8.6 rc 1 is out <#def AUTHOR>Maxime Dénès <#def DATE>8 Dec 2016 diff --git a/news/139 b/news/coq-870-is-out similarity index 98% rename from news/139 rename to news/coq-870-is-out index 8d4e213c31df5..342b84f0ea0b5 100644 --- a/news/139 +++ b/news/coq-870-is-out @@ -1,4 +1,4 @@ -<#def ID>139 +<#def ID>coq-870-is-out <#def TITLE>Coq 8.7.0 is out <#def AUTHOR>Maxime Dénès <#def DATE>17 Oct 2017 diff --git a/news/141 b/news/coq-871-is-out similarity index 92% rename from news/141 rename to news/coq-871-is-out index 268d572ea916c..597e315d721b9 100644 --- a/news/141 +++ b/news/coq-871-is-out @@ -1,4 +1,4 @@ -<#def ID>141 +<#def ID>coq-871-is-out <#def TITLE>Coq 8.7.1 is out <#def AUTHOR>Théo Zimmermann <#def DATE>15 Dec 2017 diff --git a/news/143 b/news/coq-872-is-out similarity index 94% rename from news/143 rename to news/coq-872-is-out index 4fb62be6335fd..5085d4b119c25 100644 --- a/news/143 +++ b/news/coq-872-is-out @@ -1,4 +1,4 @@ -<#def ID>143 +<#def ID>coq-872-is-out <#def TITLE>Coq 8.7.2 is out <#def AUTHOR>Théo Zimmermann <#def DATE>17 Feb 2018 diff --git a/news/137 b/news/coq-87beta1-is-out similarity index 98% rename from news/137 rename to news/coq-87beta1-is-out index 8fbc8b91a4eb0..3a47f1fd9ebe0 100644 --- a/news/137 +++ b/news/coq-87beta1-is-out @@ -1,4 +1,4 @@ -<#def ID>137 +<#def ID>coq-87beta1-is-out <#def TITLE>Coq 8.7 beta 1 is out <#def AUTHOR>Maxime Dénès <#def DATE>6 Sep 2017 diff --git a/news/138 b/news/coq-87beta2-is-out similarity index 98% rename from news/138 rename to news/coq-87beta2-is-out index 3e1ee35f0d500..3606042a370f9 100644 --- a/news/138 +++ b/news/coq-87beta2-is-out @@ -1,4 +1,4 @@ -<#def ID>138 +<#def ID>coq-87beta2-is-out <#def TITLE>Coq 8.7+beta2 is out <#def AUTHOR>Théo Zimmermann <#def DATE>6 Oct 2017 diff --git a/news/145 b/news/coq-88-is-out similarity index 95% rename from news/145 rename to news/coq-88-is-out index 42472151ca7c0..ca93aec7d0753 100644 --- a/news/145 +++ b/news/coq-88-is-out @@ -1,4 +1,4 @@ -<#def ID>145 +<#def ID>coq-88-is-out <#def TITLE>Coq 8.8.0 is out <#def AUTHOR>Maxime Dénès <#def DATE>17 Apr 2018 diff --git a/news/146 b/news/coq-881-is-out similarity index 95% rename from news/146 rename to news/coq-881-is-out index 389a289b136df..d075a7efa82ac 100644 --- a/news/146 +++ b/news/coq-881-is-out @@ -1,4 +1,4 @@ -<#def ID>146 +<#def ID>coq-881-is-out <#def TITLE>Coq 8.8.1 is out <#def AUTHOR>Théo Zimmermann <#def DATE>9 Jul 2018 diff --git a/news/147 b/news/coq-882-is-out similarity index 97% rename from news/147 rename to news/coq-882-is-out index 90216de0de249..ee42d30194699 100644 --- a/news/147 +++ b/news/coq-882-is-out @@ -1,4 +1,4 @@ -<#def ID>147 +<#def ID>coq-882-is-out <#def TITLE>Coq 8.8.2 is out <#def AUTHOR>Théo Zimmermann <#def DATE>26 Sep 2018 diff --git a/news/144 b/news/coq-88beta1-is-out similarity index 94% rename from news/144 rename to news/coq-88beta1-is-out index 0871da674004c..303b5483db992 100644 --- a/news/144 +++ b/news/coq-88beta1-is-out @@ -1,4 +1,4 @@ -<#def ID>144 +<#def ID>coq-88beta1-is-out <#def TITLE>Coq 8.8+beta1 is out <#def AUTHOR>Maxime Dénès <#def DATE>19 Mar 2018 diff --git a/news/149 b/news/coq-890-is-out similarity index 94% rename from news/149 rename to news/coq-890-is-out index 747ed27836ea6..eda2d873dc3d4 100644 --- a/news/149 +++ b/news/coq-890-is-out @@ -1,4 +1,4 @@ -<#def ID>149 +<#def ID>coq-890-is-out <#def TITLE>Coq 8.9.0 is out <#def AUTHOR>Guillaume Melquiond <#def DATE>18 Jan 2019 diff --git a/news/148 b/news/coq-89beta1-is-out similarity index 94% rename from news/148 rename to news/coq-89beta1-is-out index 095b5bde6afd5..de27a24a169f0 100644 --- a/news/148 +++ b/news/coq-89beta1-is-out @@ -1,4 +1,4 @@ -<#def ID>148 +<#def ID>coq-89beta1-is-out <#def TITLE>Coq 8.9+beta1 is out <#def AUTHOR>Guillaume Melquiond <#def DATE>2 Nov 2018 diff --git a/news/121 b/news/coq-is-hiring-a-specialized-engineer-for-2-years similarity index 79% rename from news/121 rename to news/coq-is-hiring-a-specialized-engineer-for-2-years index c27aa2809d350..93a8e302fe41e 100644 --- a/news/121 +++ b/news/coq-is-hiring-a-specialized-engineer-for-2-years @@ -1,4 +1,4 @@ -<#def ID>121 +<#def ID>coq-is-hiring-a-specialized-engineer-for-2-years <#def TITLE>Coq is hiring a specialized engineer for 2 years <#def AUTHOR>letouzey <#def DATE>18 Jul 2014 11:41 GMT diff --git a/news/114 b/news/coq-received-acm-sigplan-programming-languages-software-2013-award similarity index 90% rename from news/114 rename to news/coq-received-acm-sigplan-programming-languages-software-2013-award index 6c52b9d4b2ad5..94f8eb25ff6b8 100644 --- a/news/114 +++ b/news/coq-received-acm-sigplan-programming-languages-software-2013-award @@ -1,4 +1,4 @@ -<#def ID>114 +<#def ID>coq-received-acm-sigplan-programming-languages-software-2013-award <#def TITLE>Coq received ACM SIGPLAN Programming Languages Software 2013 award <#def AUTHOR>herbelin <#def DATE>30 Jun 2013 16:26 GMT diff --git a/news/119 b/news/coq-received-acm-software-system-2013-award similarity index 94% rename from news/119 rename to news/coq-received-acm-software-system-2013-award index bc458b19f1ff1..285fb3371048f 100644 --- a/news/119 +++ b/news/coq-received-acm-software-system-2013-award @@ -1,4 +1,4 @@ -<#def ID>119 +<#def ID>coq-received-acm-software-system-2013-award <#def TITLE>Coq received ACM Software System 2013 award <#def AUTHOR>herbelin <#def DATE>19 Apr 2014 08:45 GMT diff --git a/news/115 b/news/coq-source-repository-migrated-to-git similarity index 92% rename from news/115 rename to news/coq-source-repository-migrated-to-git index 0f07afc504073..fb69645ad8eec 100644 --- a/news/115 +++ b/news/coq-source-repository-migrated-to-git @@ -1,4 +1,4 @@ -<#def ID>115 +<#def ID>coq-source-repository-migrated-to-git <#def TITLE>Coq source repository migrated to git <#def AUTHOR>letouzey <#def DATE>22 Nov 2013 15:08 GMT diff --git a/news/93 b/news/coq-workshop-2010 similarity index 87% rename from news/93 rename to news/coq-workshop-2010 index 6609bb031e2dd..721b6fff67b82 100644 --- a/news/93 +++ b/news/coq-workshop-2010 @@ -1,4 +1,4 @@ -<#def ID>93 +<#def ID>coq-workshop-2010 <#def TITLE>Coq Workshop 2010 <#def AUTHOR>herbelin <#def DATE>27 May 2010 23:18 GMT diff --git a/news/100 b/news/coq-workshop-2011 similarity index 88% rename from news/100 rename to news/coq-workshop-2011 index 115b1b7dd8b9b..196cf23f5a262 100644 --- a/news/100 +++ b/news/coq-workshop-2011 @@ -1,4 +1,4 @@ -<#def ID>100 +<#def ID>coq-workshop-2011 <#def TITLE>Coq Workshop 2011 <#def AUTHOR>herbelin <#def DATE>25 Apr 2011 17:53 GMT diff --git a/news/72 b/news/first-asian-pacific-coq-summer-school similarity index 92% rename from news/72 rename to news/first-asian-pacific-coq-summer-school index 98499a3c96ec5..e4865bb6c112c 100644 --- a/news/72 +++ b/news/first-asian-pacific-coq-summer-school @@ -1,4 +1,4 @@ -<#def ID>72 +<#def ID>first-asian-pacific-coq-summer-school <#def TITLE>First Asian-Pacific Coq Summer School <#def AUTHOR>coq-www <#def DATE>31 Mar 2009 14:21 GMT diff --git a/news/107 b/news/release-candidate-of-coq-84-is-out similarity index 83% rename from news/107 rename to news/release-candidate-of-coq-84-is-out index 0cdece0640da1..716d18f4b865c 100644 --- a/news/107 +++ b/news/release-candidate-of-coq-84-is-out @@ -1,4 +1,4 @@ -<#def ID>107 +<#def ID>release-candidate-of-coq-84-is-out <#def TITLE>Release candidate of Coq 8.4 is out <#def AUTHOR>herbelin <#def DATE>8 Aug 2012 21:28 GMT diff --git a/news/69 b/news/the-coq-workshop-2009 similarity index 97% rename from news/69 rename to news/the-coq-workshop-2009 index c5a816ef2f67b..15b3f192c2bf0 100644 --- a/news/69 +++ b/news/the-coq-workshop-2009 @@ -1,4 +1,4 @@ -<#def ID>69 +<#def ID>the-coq-workshop-2009 <#def TITLE>The Coq workshop 2009 <#def AUTHOR>coq-www <#def DATE>25 Mar 2009 12:37 GMT