]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/changes.ldw.xml
new web site page
[helm.git] / helm / www / lambdadelta / web / home / changes.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/changes.ldw.xml b/helm/www/lambdadelta/web/home/changes.ldw.xml
new file mode 100644 (file)
index 0000000..4287ac5
--- /dev/null
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<page xmlns="http://lambdadelta.info/"
+      description = "\lambda\delta home page"
+      title = "\lambda\delta home page"
+      logo = "crux"
+      head = "The Formal Systems of the λδ (\lambda\delta) Family"
+>
+   <sitemap name="sitemap"/>
+
+   <section15 name="changes">Changes</section15>
+   <body>
+   </body>
+   <table name="changes"/>
+
+   <footer/>
+</page>