From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Dec 2000 15:11:37 +0000 (+0000)
Subject: initial
X-Git-Tag: nogzip~84
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bb59ef3d2875d63b6df79a14575c573e07d3affb;p=helm.git

initial
---

diff --git a/helm/EXPORT/cshrc b/helm/EXPORT/cshrc
new file mode 100755
index 000000000..e5519d719
--- /dev/null
+++ b/helm/EXPORT/cshrc
@@ -0,0 +1,4 @@
+setenv PATH /home/projects/helm/EXPORT/INSTALLED_V7/usr/local/bin:$PATH
+
+# Per uris_of_filenames.pl
+setenv PATH /home/projects/helm/V7/interface:$PATH