Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Delete all external axioms on base file #2377

Merged
merged 15 commits into from
May 11, 2022
Merged

Delete all external axioms on base file #2377

Changes from 11 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
11b58d7
delete external axioms
Apr 1, 2022
944f80f
Merge branch 'master' into anitacaron/issue2263
Apr 1, 2022
dcc6015
update uberon.Makefile
Apr 1, 2022
c6db563
first chunk axioms removed
Apr 13, 2022
98c38d0
revert change in uberon.Makefile
Apr 13, 2022
9a88c08
Merge branch 'master' into anitacaron/issue2263
Apr 13, 2022
4200b54
Merge branch 'master' into anitacaron/issue2263
Apr 19, 2022
b42d2c0
remove not base axioms
Apr 20, 2022
94dd893
remove axioms not base
Apr 21, 2022
053f2da
Merge branch 'master' into anitacaron/issue2263
Apr 25, 2022
4cea47c
delete external Typedef not being used
Apr 25, 2022
e10f6db
update name (label) conform to source
May 4, 2022
92f3022
Merge branch 'master' into anitacaron/issue2263
May 4, 2022
f550d20
delete all annotations in external properties
May 4, 2022
1d12ba7
Merge branch 'master' into anitacaron/issue2263
May 6, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading