X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fxhtml-header.shtml;h=ad156d65104333e228904b5df3ccc93616ff915f;hb=2bd3b029f7f67d9c616b7756278573cc9e96510c;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">