Merge pull request coq#86 from vbgl/rename-news

Rename the files holding the news

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))

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

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

news/94 → news/2nd-asian-pacific-coq-summer-school

@@ -1,4 +1,4 @@
-<#def ID>94</#def>
+<#def ID>2nd-asian-pacific-coq-summer-school</#def>
 <#def TITLE>2nd Asian-Pacific Coq Summer School</#def>
 <#def AUTHOR>herbelin</#def>
 <#def DATE>9 Jun 2010 09:00 GMT</#def>

news/99 → news/3rd-asian-pacific-summer-school-on-formal-methods

@@ -1,4 +1,4 @@
-<#def ID>99</#def>
+<#def ID>3rd-asian-pacific-summer-school-on-formal-methods</#def>
 <#def TITLE>3rd Asian-Pacific Summer School on Formal Methods</#def>
 <#def AUTHOR>herbelin</#def>
 <#def DATE>25 Apr 2011 17:53 GMT</#def>

news/71 → news/a-locally-nameless-backend-for-ott

@@ -1,4 +1,4 @@
-<#def ID>71</#def>
+<#def ID>a-locally-nameless-backend-for-ott</#def>
 <#def TITLE>A locally-nameless backend for Ott</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>10 Mar 2009 12:29 GMT</#def>

news/78 → news/a-tactic-for-deciding-kleene-algebras

@@ -1,4 +1,4 @@
-<#def ID>78</#def>
+<#def ID>a-tactic-for-deciding-kleene-algebras</#def>
 <#def TITLE>A tactic for deciding Kleene algebras</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>9 Jun 2009 20:58 GMT</#def>

news/95 → news/alpha-release-of-coq-modulo-theories

@@ -1,4 +1,4 @@
-<#def ID>95</#def>
+<#def ID>alpha-release-of-coq-modulo-theories</#def>
 <#def TITLE>Alpha-release of Coq Modulo Theories</#def>
 <#def AUTHOR>herbelin</#def>
 <#def DATE>22 Jun 2010 22:10 GMT</#def>

news/70 → news/announcing-lngen

@@ -1,4 +1,4 @@
-<#def ID>70</#def>
+<#def ID>announcing-lngen</#def>
 <#def TITLE>Announcing LNgen</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>11 Mar 2009 20:00 GMT</#def>

news/83 → news/announcing-ssreflect-version-12

@@ -1,4 +1,4 @@
-<#def ID>83</#def>
+<#def ID>announcing-ssreflect-version-12</#def>
 <#def TITLE>Announcing Ssreflect version 1.2</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>19 Aug 2009 12:00 GMT</#def>

news/106 → news/beta-release-of-coq-84

@@ -1,4 +1,4 @@
-<#def ID>106</#def>
+<#def ID>beta-release-of-coq-84</#def>
 <#def TITLE>Beta-release of Coq 8.4</#def>
 <#def AUTHOR>herbelin</#def>
 <#def DATE>27 Dec 2011 19:38 GMT</#def>

news/81 → news/coq-82pl1-is-out

@@ -1,4 +1,4 @@
-<#def ID>81</#def>
+<#def ID>coq-82pl1-is-out</#def>
 <#def TITLE>Coq 8.2pl1 is out !</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>4 Jul 2009 03:47 GMT</#def>

news/91 → news/coq-83-beta-version

@@ -1,4 +1,4 @@
-<#def ID>91</#def>
+<#def ID>coq-83-beta-version</#def>
 <#def TITLE>Coq 8.3 beta version</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>16 Feb 2010 17:44 GMT</#def>

news/96 → news/coq-83-is-out

@@ -1,4 +1,4 @@
-<#def ID>96</#def>
+<#def ID>coq-83-is-out</#def>
 <#def TITLE>Coq 8.3 is out !</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>14 Oct 2010 16:45 GMT</#def>

news/98 → news/coq-83pl2-is-out

@@ -1,4 +1,4 @@
-<#def ID>98</#def>
+<#def ID>coq-83pl2-is-out</#def>
 <#def TITLE>Coq 8.3pl2 is out</#def>
 <#def AUTHOR>herbelin</#def>
 <#def DATE>25 Apr 2011 17:44 GMT</#def>

news/105 → news/coq-83pl3-is-out

@@ -1,4 +1,4 @@
-<#def ID>105</#def>
+<#def ID>coq-83pl3-is-out</#def>
 <#def TITLE>Coq 8.3pl3 is out</#def>
 <#def AUTHOR>herbelin</#def>
 <#def DATE>27 Dec 2011 10:30 GMT</#def>

news/110 → news/coq-84-is-out

@@ -1,4 +1,4 @@
-<#def ID>110</#def>
+<#def ID>coq-84-is-out</#def>
 <#def TITLE>Coq 8.4 is out!</#def>
 <#def AUTHOR>herbelin</#def>
 <#def DATE>12 Aug 2012 12:16 GMT</#def>

news/120 → news/coq-84pl4-is-out

@@ -1,4 +1,4 @@
-<#def ID>120</#def>
+<#def ID>coq-84pl4-is-out</#def>
 <#def TITLE>Coq 8.4pl4 is out</#def>
 <#def AUTHOR>boutillier</#def>
 <#def DATE>12 May 2014 11:11 GMT</#def>

news/122 → news/coq-84pl5-is-out

@@ -1,4 +1,4 @@
-<#def ID>122</#def>
+<#def ID>coq-84pl5-is-out</#def>
 <#def TITLE>Coq 8.4pl5 is out</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>31 Oct 2014 06:11 GMT</#def>

news/124 → news/coq-84pl6-is-out

@@ -1,4 +1,4 @@
-<#def ID>124</#def>
+<#def ID>coq-84pl6-is-out</#def>
 <#def TITLE>Coq 8.4pl6 is out</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>9 Apr 2015 16:25 GMT</#def>

news/128 → news/coq-85-is-out

@@ -1,4 +1,4 @@
-<#def ID>128</#def>
+<#def ID>coq-85-is-out</#def>
 <#def TITLE>Coq 8.5 is out!</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>21 Jan 2016 21:00 GMT</#def>

news/123 → news/coq-85beta1-is-out

@@ -1,4 +1,4 @@
-<#def ID>123</#def>
+<#def ID>coq-85beta1-is-out</#def>
 <#def TITLE>Coq 8.5 beta 1 is out!</#def>
 <#def AUTHOR>coq-www</#def>
 <#def DATE>21 Jan 2015 15:00 GMT</#def>

news/125 → news/coq-85beta2-is-out

@@ -1,4 +1,4 @@
-<#def ID>125</#def>
+<#def ID>coq-85beta2-is-out</#def>
 <#def TITLE>Coq 8.5 beta 2 is out!</#def>
 <#def AUTHOR>Matthieu Sozeau</#def>
 <#def DATE>22 Apr 2015 19:00 GMT</#def>

news/126 → news/coq-85beta3-is-out

@@ -1,4 +1,4 @@
-<#def ID>126</#def>
+<#def ID>coq-85beta3-is-out</#def>
 <#def TITLE>Coq 8.5 beta 3 is out!</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>11 Nov 2015 19:30 GMT</#def>

news/129 → news/coq-85pl1-is-out

@@ -1,4 +1,4 @@
-<#def ID>129</#def>
+<#def ID>coq-85pl1-is-out</#def>
 <#def TITLE>Coq 8.5pl1 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>10 Apr 2016</#def>

news/130 → news/coq-85pl2-is-out

@@ -1,4 +1,4 @@
-<#def ID>130</#def>
+<#def ID>coq-85pl2-is-out</#def>
 <#def TITLE>Coq 8.5pl2 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>11 Jul 2016</#def>

news/131 → news/coq-85pl3-is-out

@@ -1,4 +1,4 @@
-<#def ID>131</#def>
+<#def ID>coq-85pl3-is-out</#def>
 <#def TITLE>Coq 8.5pl3 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>27 Oct 2016</#def>

news/127 → news/coq-85rc1-is-out

@@ -1,4 +1,4 @@
-<#def ID>127</#def>
+<#def ID>coq-85rc1-is-out</#def>
 <#def TITLE>Coq 8.5 rc 1 is out!</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>11 Nov 2015 19:30 GMT</#def>

news/134 → news/coq-86-is-out

@@ -1,4 +1,4 @@
-<#def ID>134</#def>
+<#def ID>coq-86-is-out</#def>
 <#def TITLE>Coq 8.6 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>14 Dec 2016</#def>

news/135 → news/coq-861-is-out

@@ -1,4 +1,4 @@
-<#def ID>135</#def>
+<#def ID>coq-861-is-out</#def>
 <#def TITLE>Coq 8.6.1 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>25 Jul 2017</#def>

news/132 → news/coq-86beta1-is-out

@@ -1,4 +1,4 @@
-<#def ID>132</#def>
+<#def ID>coq-86beta1-is-out</#def>
 <#def TITLE>Coq 8.6 beta 1 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>19 Nov 2016</#def>

news/133 → news/coq-86rc1-is-out

@@ -1,4 +1,4 @@
-<#def ID>133</#def>
+<#def ID>coq-86rc1-is-out</#def>
 <#def TITLE>Coq 8.6 rc 1 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>8 Dec 2016</#def>

news/139 → news/coq-870-is-out

@@ -1,4 +1,4 @@
-<#def ID>139</#def>
+<#def ID>coq-870-is-out</#def>
 <#def TITLE>Coq 8.7.0 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>17 Oct 2017</#def>

news/141 → news/coq-871-is-out

@@ -1,4 +1,4 @@
-<#def ID>141</#def>
+<#def ID>coq-871-is-out</#def>
 <#def TITLE>Coq 8.7.1 is out</#def>
 <#def AUTHOR>Théo Zimmermann</#def>
 <#def DATE>15 Dec 2017</#def>

news/143 → news/coq-872-is-out

@@ -1,4 +1,4 @@
-<#def ID>143</#def>
+<#def ID>coq-872-is-out</#def>
 <#def TITLE>Coq 8.7.2 is out</#def>
 <#def AUTHOR>Théo Zimmermann</#def>
 <#def DATE>17 Feb 2018</#def>

news/137 → news/coq-87beta1-is-out

@@ -1,4 +1,4 @@
-<#def ID>137</#def>
+<#def ID>coq-87beta1-is-out</#def>
 <#def TITLE>Coq 8.7 beta 1 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>6 Sep 2017</#def>

news/138 → news/coq-87beta2-is-out

@@ -1,4 +1,4 @@
-<#def ID>138</#def>
+<#def ID>coq-87beta2-is-out</#def>
 <#def TITLE>Coq 8.7+beta2 is out</#def>
 <#def AUTHOR>Théo Zimmermann</#def>
 <#def DATE>6 Oct 2017</#def>

news/145 → news/coq-88-is-out

@@ -1,4 +1,4 @@
-<#def ID>145</#def>
+<#def ID>coq-88-is-out</#def>
 <#def TITLE>Coq 8.8.0 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>17 Apr 2018</#def>

news/146 → news/coq-881-is-out

@@ -1,4 +1,4 @@
-<#def ID>146</#def>
+<#def ID>coq-881-is-out</#def>
 <#def TITLE>Coq 8.8.1 is out</#def>
 <#def AUTHOR>Théo Zimmermann</#def>
 <#def DATE>9 Jul 2018</#def>

news/147 → news/coq-882-is-out

@@ -1,4 +1,4 @@
-<#def ID>147</#def>
+<#def ID>coq-882-is-out</#def>
 <#def TITLE>Coq 8.8.2 is out</#def>
 <#def AUTHOR>Théo Zimmermann</#def>
 <#def DATE>26 Sep 2018</#def>

news/144 → news/coq-88beta1-is-out

@@ -1,4 +1,4 @@
-<#def ID>144</#def>
+<#def ID>coq-88beta1-is-out</#def>
 <#def TITLE>Coq 8.8+beta1 is out</#def>
 <#def AUTHOR>Maxime Dénès</#def>
 <#def DATE>19 Mar 2018</#def>

news/149 → news/coq-890-is-out

@@ -1,4 +1,4 @@
-<#def ID>149</#def>
+<#def ID>coq-890-is-out</#def>
 <#def TITLE>Coq 8.9.0 is out</#def>
 <#def AUTHOR>Guillaume Melquiond</#def>
 <#def DATE>18 Jan 2019</#def>

news/148 → news/coq-89beta1-is-out

@@ -1,4 +1,4 @@
-<#def ID>148</#def>
+<#def ID>coq-89beta1-is-out</#def>
 <#def TITLE>Coq 8.9+beta1 is out</#def>
 <#def AUTHOR>Guillaume Melquiond</#def>
 <#def DATE>2 Nov 2018</#def>

news/121 → news/coq-is-hiring-a-specialized-engineer-for-2-years

@@ -1,4 +1,4 @@
-<#def ID>121</#def>
+<#def ID>coq-is-hiring-a-specialized-engineer-for-2-years</#def>
 <#def TITLE>Coq is hiring a specialized engineer for 2 years</#def>
 <#def AUTHOR>letouzey</#def>
 <#def DATE>18 Jul 2014 11:41 GMT</#def>

news/114 → news/coq-received-acm-sigplan-programming-languages-software-2013-award

@@ -1,4 +1,4 @@
-<#def ID>114</#def>
+<#def ID>coq-received-acm-sigplan-programming-languages-software-2013-award</#def>
 <#def TITLE>Coq received ACM SIGPLAN Programming Languages Software 2013 award</#def>
 <#def AUTHOR>herbelin</#def>
 <#def DATE>30 Jun 2013 16:26 GMT</#def>