From: Luca Padovani Date: Tue, 6 Feb 2001 16:02:48 +0000 (+0000) Subject: Initial revision X-Git-Tag: v0_1_2~133 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f7cdd861bf43d3a8585103fb3bacd29f8a40a46e;p=helm.git Initial revision --- diff --git a/helm/style/config/style-configuration.dtd b/helm/style/config/style-configuration.dtd new file mode 100644 index 000000000..a729aa7d3 --- /dev/null +++ b/helm/style/config/style-configuration.dtd @@ -0,0 +1,13 @@ + + + + + + + + + + + + + diff --git a/helm/style/config/style-configuration.xml b/helm/style/config/style-configuration.xml new file mode 100644 index 000000000..81518ef14 --- /dev/null +++ b/helm/style/config/style-configuration.xml @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + +