J.-B. Bohuon added file figures/protege-screenshot.png  about 9 years ago

Commit id: a7744ac0f70d0c45864306df051e5490815b9e01

deletions | additions      

      Binary files /dev/null and b/figures/protege-screenshot.png differ