Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
webprotege_debugger
Issues
#32
Adapt header font for entailed, non-entailed, possibly faulty and background
use same font size as in Queries and Possible Ontology Repairs
also fix typo to possibly faulty