4.0.0 com.github.goalhub.simpleide simpleidemodules 2.0.1 jar GOAL SimpleIDE https://github.com/goalhub/simpleIDE An IDE for GOAL based on JEdit. The GNU General Public License, Version 3.0 http://www.gnu.org/licenses/gpl-3.0.txt Koen Hindriks k.v.hindriks@gmail.com goalhub https://github.com/koenhindriks goalhub https://github.com/goalhub https://github.com/goalhub/simpleIDE/issues Github Issues scm:git:git@github.com:goalhub/simpleIDE.git scm:git:git@github.com:goalhub/simpleIDE.git https://github.com:goalhub/simpleIDE UTF-8 goalhub-mvn-repo https://raw.github.com/goalhub/mvn-repo/master eishub-mvn-repo https://raw.github.com/eishub/mvn-repo/master com.github.goalhub.runtime runtime 2.0.1 com.github.goalhub.simpleide osxadapter 1.0.1 org.gjt.sp.jedit jedit 1.1.4 commons-io commons-io 2.4 com.github.goalhub.krTools krInterface 1.2.1 com.github.goalhub.krTools krFactory 1.2.1 com.github.goalhub.mentalstate msInterface 2.0.1 eishub eis 0.5.0 com.github.goalhub.grammar languageTools 2.0.1 com.github.goalhub.messaging messaginginterface 1.1.8 org.apache.maven.plugins maven-dependency-plugin 2.10 analyze verify analyze-only true true org.apache.maven.plugins maven-compiler-plugin 3.5 1.7 1.7 org.apache.maven.plugins maven-javadoc-plugin 2.10.3 attach-javadocs jar org.apache.maven.plugins maven-source-plugin 2.4 attach-sources verify jar-no-fork org.apache.maven.plugins maven-jar-plugin 2.6 nl.tudelft.goal.SimpleIDE.SimpleIDE true true org.apache.maven.plugins maven-assembly-plugin 2.6 jar-with-dependencies nl.tudelft.goal.SimpleIDE.SimpleIDE true true make-assembly package single org.apache.maven.plugins maven-deploy-plugin 2.8.2 internal.repo::default::file://${project.build.directory}/mvn-repo com.github.github site-maven-plugin 0.12 github Maven artifacts for ${project.name} version ${project.version} ${project.build.directory}/mvn-repo refs/heads/master true **/* mvn-repo goalhub git-deploy site deploy