Skip to content

Commit

Permalink
Merge pull request #1237 from gouttegd/document-drop-axiom-annotations
Browse files Browse the repository at this point in the history 
Add an example for "remove --drop-axiom-annotations".
  • Loading branch information
@jamesaoverton
jamesaoverton authored Jan 23, 2025
2 parents ac92f26 + 469f8d8 commit 4c65e83
Show file tree
Hide file tree
Showing 2 changed files with 2,588 additions and 0 deletions.
Loading

0 comments on commit 4c65e83

Please sign in to comment.