8000 Remove foreign axioms to create base product by beckyjackson · Pull Request #570 · ontodev/robot · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Remove foreign axioms to create base product#570

Merged
jamesaoverton merged 16 commits intomasterfrom
foreign-ax
Nov 20, 2019
Merged

Remove foreign axioms to create base product#570
jamesaoverton merged 16 commits intomasterfrom
foreign-ax

Commits

Commits on Sep 23, 2019

Commits on Sep 30, 2019

Commits on Oct 1, 2019

Commits on Oct 2, 2019

Commits on Oct 3, 2019

Commits on Oct 14, 2019

Commits on Oct 29, 2019

Commits on Oct 31, 2019

Commits on Nov 19, 2019

Commits on Nov 20, 2019

0