X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Fetc%2Fhelm-math-engine-configuration.xml.in;h=96839778f2b3aecfd5162b93d2a0ec52eba40438;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=fc43038eabb14860652f646d3027350b36974d0c;hpb=8cf1d2602b5ed9ef5304e8709cd772e1188690b5;p=helm.git diff --git a/helm/configuration/etc/helm-math-engine-configuration.xml.in b/helm/configuration/etc/helm-math-engine-configuration.xml.in index fc43038ea..96839778f 100644 --- a/helm/configuration/etc/helm-math-engine-configuration.xml.in +++ b/helm/configuration/etc/helm-math-engine-configuration.xml.in @@ -1,28 +1,29 @@ - + + + + + + + + + + + + + + + + + + + + + + + @HELM_DICTIONARY_PATH@