]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/ISTRUZIONI
fe6c09efc00912c2fc867523e064939783daa6c9
[helm.git] / helm / interface / ISTRUZIONI
1 ==============================
2 ISTRUZIONI PER CHI USA LA TCSH
3 ==============================
4
5 Lanciare:
6
7  source PER_FARLO_ANDARE_TCSH
8
9 Poi far partire altri due xterm.
10 Nel primo lanciare:
11
12  make start-xaland3
13
14 Nel secondo lanciare:
15
16  make start-http-getter
17
18 Se non funziona significa che ce ne e' gia' uno attivo.
19
20 Infini lanciare, dall'ultima shell,
21
22  ./mmlinterface.opt.saved