1 <?xml version="1.0" encoding="UTF-8"?>
3 <page xmlns="http://lambdadelta.info/"
4 description = "\lambda\delta home page"
5 title = "\lambda\delta home page"
7 head = "The Formal Systems of the λδ (\lambda\delta) Family"
9 <sitemap name="sitemap"/>
11 <section15 name="log">System and Specification Log</section15>
13 The next table logs the system features and the specification features
14 changed in each version with respect to the previous one.
19 "+" added feature, "*" replaced feature, "-" removed feature
21 <table name="changes"/>