#1 Le 16/05/2007, à 08:02
- Forny
[Resolu][eclipse] Installation tptp
Salut, salut,
je cherche à installer le plug-in tptp pour eclipse 3.2.2
mais lorsque je vais le rechercher sur le site Callisto, il semble ne pas exister !?
Dernière modification par Forny (Le 18/05/2007, à 12:05)
Hors ligne
#2 Le 17/05/2007, à 12:58
- Forny
Re : [Resolu][eclipse] Installation tptp
Ok, j'ai trouvé le problème :
j'avais installer eclipse via les paquets issus de synaptic (apt-get)
je ne sais pas pourquoi mais ça (l'installation de certains plug-in dont "tptp") ne fonctionnait pas 
J'ai réinstaller eclipse depuis le fichier .tar.gz et là tout fonctionne 
Hors ligne