X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fxhtml-header.shtml;h=ad156d65104333e228904b5df3ccc93616ff915f;hb=c98a165ddf5c74bb70ffaa4dc65fe89c20dba8b1;hp=e0818473478bab840e449ac061c60d250a863acd;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git diff --git a/helm/www/matita/xhtml-header.shtml b/helm/www/matita/xhtml-header.shtml index e08184734..ad156d651 100644 --- a/helm/www/matita/xhtml-header.shtml +++ b/helm/www/matita/xhtml-header.shtml @@ -1,4 +1,5 @@ + + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">