]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/members-index.xml
* <I> ==> <em> everywhere
[helm.git] / helm / mowgli / home / xml / members-index.xml
index 3d3d80b2ed3f3b1339ff6f2c0dc3ecd2cd6cabe9..f54a4a26d28d0ae1266e3e481ca9bff059e457ba 100644 (file)
@@ -1,5 +1,8 @@
 <?xml version="1.0"?>
 
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+               "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+
 <html>
  <head>
   <title>Members Area</title>