From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 6 Feb 2001 16:00:42 +0000 (+0000)
Subject: added processor_url to configuration file
X-Git-Tag: v0_1_2~134
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=255b967c56a97328ca17f30c3120cd7cda055c3f;hp=255b967c56a97328ca17f30c3120cd7cda055c3f;p=helm.git

added processor_url to configuration file
---