]> matita.cs.unibo.it Git - helm.git/commit
added processor_url to configuration file
authorLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 16:00:42 +0000 (16:00 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 16:00:42 +0000 (16:00 +0000)
commit255b967c56a97328ca17f30c3120cd7cda055c3f
treef096293b36f016d7cc02861a0743dea0308476bc
parentc7b7fb84e411b6274121977ada67113352f98d0e
added processor_url to configuration file
helm/configuration/etc/configuration.dtd
helm/configuration/etc/configuration.xml.in