Merge branch 'release/2.5.2' into develop
updating poms for 2.6.0-SNAPSHOT development
updating develop with hotfix versions to avoid merge conflicts
Merge branch 'hotfix/2.5.3' into develop
updating poms for development
updating develop with hotfix versions to avoid merge conflicts
Merge branch 'hotfix/2.5.4' into develop
updating poms for development
Filter top-level redundant clauses using Builder
Merge branch 'develop' of https://github.com/aehrc/snorocket into develop
Add unit test for redundant axiom terms
Adjust pom versions
Use later jgitflow (1.0-m1)
Fixed name of jgitflow (to jgitflow-maven-plugin)
Fix groupId for jgitflow
updating poms for 2.5.5 release
updating poms for 2.5.5 release
Merge branch 'release/2.5.5'