]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/web/home/changes.ldw.xml
4287ac58438a5b3562671b35710d37b042a3aa39
[helm.git] / helm / www / lambdadelta / web / home / 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="changes">Changes</section15>
12    <body>
13    </body>
14    <table name="changes"/>
15
16    <footer/>
17 </page>