]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/home.xml
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
* <I> ==> <em> everywhere
[helm.git] / helm / mowgli / home / xml / home.xml
diff --git a/helm/mowgli/home/xml/home.xml b/helm/mowgli/home/xml/home.xml
index e784106a19f1a0ecb389a06a031c92e2afa8e419..b5022b0d3a8a3f7ec62d6323a83b9873ec2e2772 100644 (file)
--- a/helm/mowgli/home/xml/home.xml
+++ b/helm/mowgli/home/xml/home.xml
@@ -1,5 +1,7 @@
 <?xml version="1.0"?>
 
+<!DOCTYPE html SYSTEM "mowgli-xhtml1-transitional.dtd">
+
 <html xmlns="http://www.w3.org/1999/xhtml"
       xmlns:mowgli="http://mowgli.cs.unibo.it/website">
 
Unnamed repository; edit this file 'description' to name the repository.