]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/ISTRUZIONI
This commit was manufactured by cvs2svn to create branch 'helm'.
[helm.git] / helm / interface / ISTRUZIONI
diff --git a/helm/interface/ISTRUZIONI b/helm/interface/ISTRUZIONI
deleted file mode 100644 (file)
index fe6c09e..0000000
+++ /dev/null
@@ -1,22 +0,0 @@
-==============================
-ISTRUZIONI PER CHI USA LA TCSH
-==============================
-
-Lanciare:
-
- source PER_FARLO_ANDARE_TCSH
-
-Poi far partire altri due xterm.
-Nel primo lanciare:
-
- make start-xaland3
-
-Nel secondo lanciare:
-
- make start-http-getter
-
-Se non funziona significa che ce ne e' gia' uno attivo.
-
-Infini lanciare, dall'ultima shell,
-
- ./mmlinterface.opt.saved