]> matita.cs.unibo.it Git - helm.git/tree - helm/scripts/
NuPRL stuff moved.
[helm.git] / helm / scripts /
drwxr-xr-x   ..
-rw-r--r-- 284 .cvsignore
-rw-r--r-- 715 Makefile
drwxr-xr-x - init.d
-rwxr-xr-x 250 makeit
-rw-r--r-- 2553 template.cshrc
-rw-r--r-- 2350 template.rc