<section3 name="milestones">Milestones</section3>
+ <news class="delta" date="November 2019.">
+ The specifications of λδ-1A and λδ-2A are repackaged
+ (they were λδ-1 and λδ-2A1 respectively).
+ </news>
+
<news class="gamma" date="November 2019.">
The specification of
- <rlink to="html/documentation.html#ldV2b">λδ-2B</rlink>
+ <rlink to="html/specification.html#source2B">λδ-2B</rlink>
is released.
</news>
+ <news class="beta" date="November 2018.">
+ The specification of
+ <rlink to="html/documentation.html#ldP2e">λδ-2B</rlink>
+ is announced.
+ </news>
+
<news class="alpha" date="December 2015.">
<rlink to="html/documentation.html#ldJ3a">Second journal paper on λδ</rlink>
accepted for publication.
<rlink to="html/implementation.html#v3">"Helena 0.8.3"</rlink> is released.
</news>
+ <news class="alpha" date="October 2015.">
+ The specification of λδ-2B is started.
+ </news>
+
<news class="delta" date="August 2015.">
The specification of λδ-2A is concluded.
</news>
<news class="gamma" date="October 2014.">
The specification of
- <rlink to="html/documentation.html#ldR2c">λδ-2A</rlink>
+ <rlink to="html/specification.html#source2A">λδ-2A</rlink>
is released.
</news>
</news>
<news class="beta" date="June 2014.">
- <rlink to="html/documentation.html#ldP2c">First communication on λδ-2.</rlink>
+ The specification of
+ <rlink to="html/documentation.html#ldP2c">λδ-2A</rlink>
+ is announced.
</news>
<news class="alpha" date="December 2012.">
</news>
<news class="delta" date="June 2008.">
- The <rlink to="html/specification.html#static1">
+ The <rlink to="html/specification.html#static1A">
HTML pages of the specification of λδ-1A for Matita 0.5</rlink>
are online.
</news>
</news>
<news class="gamma" date="September 2007.">
- The <rlink to="html/specification.html#dynamic1">
+ The <rlink to="html/specification.html#dynamic1A">
specification of λδ-1A for Matita 0.4</rlink>
is online.
</news>
<news class="gamma" date="November 2006.">
The specification of
- <rlink to="html/documentation.html#ldR1b">λδ-1A</rlink>
+ <rlink to="html/specification.html#source1A">λδ-1A</rlink>
is released.
</news>
<news class="beta" date="December 2005.">
- <rlink to="html/documentation.html#ldP1a">First communication on λδ-1</rlink>.
+ The specification of
+ <rlink to="html/documentation.html#ldP1a">λδ-1A</rlink>
+ is announced.
</news>
<news class="alpha" date="May 2004.">
<section3 name="visibility">Visibility</section3>
- <news class="alpha" date="June 2014.">
+ <news class="alpha" date="November 2019.">
The <link to="http://www.google.com/">Google</link>
search for "formal system lambda delta" gives
- 5 resources about the λδ family in the first 6 results.
+ 9 resources about the λδ family in the first 10 results.
</news>
- <news class="alpha" date="June 2014.">
+ <news class="alpha" date="November 2019.">
The <link to="http://www.yahoo.com/">Yahoo</link>
search for "formal system lambda delta" gives
- 4 resources about the λδ family in the first 5 results.
+ 14 resources about the λδ family in the first 14 results.
</news>
<footer/>