[Lugge] jape? anyone? (aka "ma che bello fare il newbie...")

  • From: Zingus J.Rinkle <1999s039@xxxxxxxxxxxxxxxxxx>
  • To: lugge@xxxxxxxxxxxxx
  • Date: Fri, 14 Sep 2001 23:10:23 +0200 (CEST)

Salve mondo.

Tanto per sapere, non e' che qualcuno di voi sa come si installa Jape
(una proof-engine usata nei corsi di logica) sul pinguino e/o quali siano
i suoi requirements come librerie? Il manuale non ne fa menzione, la
distribuzione e' solo binaria e di FAQ sull'argomento neanche l'ombra...
(ole')

Certo potrei andare nel laboratorio a prender nota di come hanno fatto i
tecnici, ma perche' scomodarsi ad alzare il sedere dalla sedia quando c'e'
il lugge? :-)

Baciamo le mani,
Zingus J. Rinkle
--
Zingus non e' il parto della fantasia di nessuno: e' un'inquietante realta'




<========----------
 Prima di scrivere in m-list per favore leggi il regolamento
 http://lugge.ziobudda.net/benvenuto.html



Other related posts: