4.0.0 edu.kit.iti.formal.psdbg psdbg 1.0-FM .. ui jar ui de.jensd fontawesomefx-materialdesignfont 1.7.22-4 de.jensd fontawesomefx-commons 8.15 org.fxmisc.richtext richtextfx 1.0.0-SNAPSHOT org.controlsfx controlsfx 8.40.12 edu.kit.iti.formal.psdbg rt-key 1.0-FM edu.kit.iti.formal.psdbg matcher 1.0-FM org.dockfx DockFX 0.1.12 edu.kit.iti.formal.psdbg lint 1.0-FM org.apache.maven.plugins maven-assembly-plugin jar-with-dependencies edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger package single 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 false bintray-jerady-maven bintray http://dl.bintray.com/jerady/maven sonatype https://oss.sonatype.org/content/repositories/snapshots/