X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fhelm-proto.hrc;h=90b6235429c14872f5c9ba0072f8feeedf68945d;hb=ecf6f2741d56261acf4580379d35117d80385da2;hp=f678424528e79a5e66e5172d58ea04c2ed7c7433;hpb=228d207d77101f153312e1c2cef1b8f2b5ec329f;p=helm.git

diff --git a/helm/www/matita/helm-proto.hrc b/helm/www/matita/helm-proto.hrc
index f67842452..90b623542 100644
--- a/helm/www/matita/helm-proto.hrc
+++ b/helm/www/matita/helm-proto.hrc
@@ -17,6 +17,8 @@
     <filename>/\.ma$/i</filename>
   </prototype>
 
-  <type name="default"><scheme name="grafite"/></type>
+  <type name="default">
+    <scheme name="grafite" />
+  </type>
 
 </hrc>