[Lugge] Re: jape? anyone? (aka "ma che bello fare il newbie...")
- From: "Roberto A. F." <robang@xxxxxxxxx>
- To: lugge@xxxxxxxxxxxxx
- Date: Sat, 15 Sep 2001 01:00:12 +0200
"Zingus J.Rinkle" wrote:
> 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')
Istruzioni per l'installazione google RULEZ
http://users.comlab.ox.ac.uk/bernard.sufrin/JAPE/JAPE/
Qua però ci sono solo i binari... ora cerco i sorgenti... mhh non mi pare che
ci siano in circolazione.
Il link sopra è contrassegnato come il reposity delle versioni più recenti...
cmq vado avanti
Qua c'è una spiegazione su cos'è jape
http://sal.kachinatech.com/Z/3/JAPE.html
Qua c'è anche una guida per usare Jape:
http://users.comlab.ox.ac.uk/bernard.sufrin/UNIXJAPEDOCHTML/jape.html
Direi che per cominciare va bene... se serve altro aiuto noi siamo sempre
qua...
--
,__ ,_ ,___ .-------=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-.
||_) ||\ ||_ / Proud Member & Master of the LUGGE |
|| \ ||¯\ ||¯ linuxgrp: http://lugge.ziobudda.net |
¯¯ ¯° ¯¯ ¯° ¯¯ ° homepage: http://digilander.iol.it/robang |
Roberto A. Foglietta icq uin : 1087 18 257, E=s*aurimento² |
\ reg num : #219348 with the Linux Counter |
`---------------------=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-'
<========----------
Prima di scrivere in m-list per favore leggi il regolamento
http://lugge.ziobudda.net/benvenuto.html
Other related posts:
