Overview   Package  Class  Tree  Deprecated  Index  Help 
TPTP 4.6.0 Platform Project
Public API Specification
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.eclipse.tptp.platform.report.ui

Class Summary
ReportUIPlugin The main plugin class to be used in the desktop.
 

Overview   Package  Class  Tree  Deprecated  Index  Help 
TPTP 4.6.0 Platform Project
Public API Specification
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES