../ org.eclipse.tptp.platform.analysis.core/ 13-Nov-2017 14:26 - org.eclipse.tptp.platform.analysis.core.ui/ 13-Nov-2017 14:26 -