X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fmatita%2Fmatita.conf.xml;h=b50ef5b98177e0bdfb730b39427b0478937b7379;hb=358cefe50cccd4cb7d8e2a9cecb7efcb5780b8a3;hp=b4e6d0ff01f714e3e7369ea592c6b7abfc50b316;hpb=8ce8ba9db77be5c6515301aa109726029e12834b;p=helm.git diff --git a/helm/matita/matita.conf.xml b/helm/matita/matita.conf.xml index b4e6d0ff0..b50ef5b98 100644 --- a/helm/matita/matita.conf.xml +++ b/helm/matita/matita.conf.xml @@ -5,7 +5,7 @@ true cic:/matita/ .matita/xml - gares + sacerdot