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@kit.edu Karlsruhe Institute of Technology Alexander Weigl weigl@kit.edu Karlsruhe 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 build-helper-maven-plugin 1.7 released-version released-version add-source generate-sources add-source lib/DockFX/src/main/java add-resource generate-resources add-resource lib/DockFX/src/main/resources org.codehaus.mojo jaxb2-maven-plugin 2.3 xjc xjc edu.kit.formal.psdb.lint org.codehaus.mojo license-maven-plugin 1.12 gpl_v3 org.lesscss lesscss-maven-plugin 1.7.0.1.1 generate-resources compile ${project.build.outputDirectory} ${project.build.sourceDirectory}/../resources false org.antlr antlr4-maven-plugin 4.7 antlr antlr4 true com.zenjava javafx-maven-plugin 8.8.3 ProofScriptDebugger.Main org.apache.maven.plugins maven-shade-plugin 2.4.3 package shade true ${project.name}-${project.version}-exe edu.kit.formal.psdb.gui.ProofScriptDebugger false bintray-jerady-maven bintray http://dl.bintray.com/jerady/maven de.jensd fontawesomefx-materialdesignfont 1.7.22-4 de.jensd fontawesomefx-commons 8.15 org.fxmisc.richtext richtextfx 0.7-M5 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/components/key.core.jar org.key-project key.ui 2.7 system ${basedir}/lib/components/key.ui.jar org.key-project key.util 2.7 system ${basedir}/lib/components/key.util.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 commons-cli commons-cli 1.4 com.google.guava guava 22.0 org.controlsfx controlsfx 8.40.12 commons-io commons-io 2.5 commons-lang commons-lang 2.6 com.github.spullara.mustache.java compiler 0.9.2 org.apache.logging.log4j log4j-api 2.8 org.apache.logging.log4j log4j-core 2.8 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