4.0.0 edu.kit.formal proofscriptparser 1.0-SNAPSHOT jar ProofScriptParser A parser and AST for the proof script language. https://git.scc.kit.edu/sarah.grebing/ProofScriptParser Sarah Grebing sarah.grebing@ira.uka.de Karlruhe Institute of Technology Alexander Weigl weigl@kit.edu Karlruhe Institute of Technology Application-oriented Formal Verification http://formal.iti.kit.edu 2017 gpl_v3 UTF-8 1.8 1.8 org.apache.maven.plugins maven-checkstyle-plugin 2.17 com.puppycrawl.tools checkstyle 7.6.1 .checkstyle_rules.xml org.codehaus.mojo license-maven-plugin 1.12 gpl_v3 org.antlr antlr4-maven-plugin 4.7 antlr antlr4 true junit junit 4.12 test org.antlr antlr4 4.7 org.projectlombok lombok 1.16.16 provided org.key-project key.core 2.7 system ${basedir}/lib/key.core.jar org.antlr antlr 3.5.2 antlr antlr 2.7.7 net.java.dev.javacc javacc 4.0 org.key-project recoderKey 1.0.0 system ${basedir}/lib/recoderKey.jar org.apache.maven.plugins maven-jxr-plugin 2.5 org.apache.maven.plugins maven-checkstyle-plugin 2.17 checkstyle org.codehaus.mojo findbugs-maven-plugin 3.0.4 org.codehaus.mojo jdepend-maven-plugin 2.0