|
TPTP 4.5.0 Platform Project Internal API Specification |
||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
|---|---|
| ContextIds | |
| Class Summary | |
|---|---|
| AddProbeNatureOperation | |
| ProbekitUIMessages | |
| ProbekitUIPlugin | This is the central singleton for the Probekit editor plugin |
| ProbekitUIPlugin.Implementation | The actual implementation of the Eclipse Plugin |
|
TPTP 4.5.0 Platform Project Internal API Specification |
||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||