- comparative table of the core objects started ...

[helm.git] / matita / matita / contribs / lambdadelta / web / core.ldw.xml

diff --git a/matita/matita/contribs/lambdadelta/web/core.ldw.xml b/matita/matita/contribs/lambdadelta/web/core.ldw.xml
new file mode 100644 (file)
index 0000000..d4bc5eb
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/web/core.ldw.xml
@@ -0,0 +1,15 @@
+<?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 = "cic:/matita/lambdadelta/basic_2/ (core λδ version 2)"
+>
+   <sitemap name="sitemap"/>
+
+   <section15 name="summary">Summary of the Specification</section15>
+   <table name="core"/>
+
+   <footer/>
+</page>