We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated _Sidebar (markdown)
Updated Using Evee in Protege (markdown)
Created Using Evee in Protege (markdown)
Created Testing (markdown)
Created Working with counterexample and model generators (markdown)
Created Non Entailment Explanation Services (markdown)
Created Preferences (markdown)
Created Plugin loaders and plugins (markdown)
Created Non Entailment View (markdown)
Created Loading Screen and Progress Tracker (markdown)
Created Interfaces (markdown)
Created Handling Ontology Change Events (markdown)
Created Evee Protégé proof plugins (markdown)
Updated Evee Build Process (markdown)
Created Signature selection window (markdown)
Created Proof services (markdown)
Created Preferences manager (markdown)
Created Extension points (markdown)
Created Dynamic Proof Loading UI (markdown)
Created Dynamic proof adapter (markdown)
Created _Sidebar (markdown)
Created Evee Build Process (markdown)
Updated Protégé release and Evee libs (markdown)
Created Protégé release and Evee libs (markdown)
Created Protégé plugins (markdown)