Aktionen:
Versionen anzeigen
Eclipse - TPTP installieren
Um den TPTP Profiler zu installieren muss folgendes mit dem Eclipse 3.2 Update Manager installiert werden:
- Datatools
- http:download.eclipse.org/datatools/updates * BIRT ** http:download.eclipse.org/birt/update-site/
- TPTP Update site
- http:eclipse.org/tptp/updates/site.xml Anscheinend geht es auch über Callisto: * http:www.eclipse.org/tptp/home/downloads/updateManager.php
Version 3
bearbeitet am {21.03.2007 23:51:01}
von smk,
Besitzer ist smk
und die Berechtigungen sind eingeschränkt auf: Jeden