]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/index.xml
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / mowgli / home / xml / publications / index.xml
diff --git a/helm/mowgli/home/xml/publications/index.xml b/helm/mowgli/home/xml/publications/index.xml
deleted file mode 100644 (file)
index 7ea341e..0000000
+++ /dev/null
@@ -1,36 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE publications [
- <!ELEMENT publications (project,related)>
- <!ELEMENT project (entry*)>
- <!ELEMENT related (entry*)>
- <!ELEMENT entry EMPTY>
- <!ATTLIST entry file CDATA #REQUIRED>
-]>
-
-<publications>
-  <project>
-    <entry file="crimea2002_aw"/>
-  </project>
-  <related>
-    <entry file="cup_s2"/>
-    <entry file="jep_wwsw"/>
-    <entry file="category_al"/>
-    <entry file="extreme2001_apss"/>
-    <entry file="jlp2001_scg"/>
-    <entry file="tcs2001_og"/>
-    <entry file="crimea2001_apss"/>
-    <entry file="har_bg"/>
-    <entry file="mathml2000_apss"/>
-    <entry file="tphols2000_gwz"/>
-    <entry file="cup_s"/>
-    <entry file="jep_ws"/>
-    <entry file="mscs_gb"/>
-    <entry file="tphols2001_apss"/>
-    <entry file="w3c_bl98"/>
-    <entry file="cup_hp91"/>
-    <entry file="cup_hp93"/>
-    <entry file="cc"/>
-  </related>
-</publications>
-