]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/ISTRUZIONI
Initial revision
[helm.git] / helm / interface / ISTRUZIONI
diff --git a/helm/interface/ISTRUZIONI b/helm/interface/ISTRUZIONI
new file mode 100644 (file)
index 0000000..fe6c09e
--- /dev/null
@@ -0,0 +1,22 @@
+==============================
+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