How to add a plugin to Maven
Add the maven plugin to the pom.xml
file information in this tag as follows:
<plugin>
<groupId>com.theoryinpractise.frege</groupId>
<artifactId>frege-maven-plugin</artifactId>
<version>1.0.8</version>
</plugin>