]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/changes.ldw.xml
λδ web site update
[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
deleted file mode 100644 (file)
index 4287ac5..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-<?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>