|
|||||||
|
|
|
 |
|
|
Strumenti |
15-01-2007, 18:19
|
#1 |
|
Senior Member
Iscritto dal: Jun 2003
Città: Genova
Messaggi: 5676
|
TPTP e il c++???
ho messo tptp da eclipse usando i repository di callisto, ma non trovo le regole per il c++.... sapete dove le posso rubare?
ho cercato sul sito, ma per importarle ceca un dat, e non ne trovo ne da soli ne dentro ai jar... ciao!!! |
|
|
|
15-01-2007, 20:54
|
#2 |
|
Senior Member
Iscritto dal: Jun 2003
Città: Genova
Messaggi: 5676
|
ps: comunque consiglierei di provarlo a tutti!
è davvero un bel coso :-D ciao! |
|
|
|
|
17-01-2007, 07:02
|
#3 |
|
Senior Member
Iscritto dal: Jun 2003
Città: Genova
Messaggi: 5676
|
eddaaaaiiii
 non usa nessuno sto simpaticissimo attrezzo? ciaaaaaooo! |
|
|
|
|
17-01-2007, 09:58
|
#4 |
|
Senior Member
Iscritto dal: Apr 2000
Città: Vicino a Montecatini(Pistoia) Moto:Kawasaki Ninja ZX-9R Scudetti: 29
Messaggi: 53971
|
Non l'avevo mai visto...sicuramente mi servirà in futuro
|
|
|
|
|
17-01-2007, 10:10
|
#5 | |
|
Senior Member
Iscritto dal: Jun 2003
Città: Genova
Messaggi: 5676
|
Quote:
 ciaaaaoooOOooOOoOOOooO!!!! :-D |
|
|
|
|
|
|
| Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 08:05.
