matita/matita/contribs/lambdadelta/web/changes.ldw.xml

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