THIRD-PARTY.txt 5.35 KB
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

Lists of 46 third-party dependencies.
     (BSD License) AntLR Parser Generator (antlr:antlr:2.7.7 - http://www.antlr.org/)
     (Apache License 2.0) compiler (com.github.spullara.mustache.java:compiler:0.9.5 - http://github.com/spullara/mustache.java)
     (The Apache Software License, Version 2.0) FindBugs-jsr305 (com.google.code.findbugs:jsr305:1.3.9 - http://findbugs.sourceforge.net/)
     (Apache 2.0) Gson (com.google.code.gson:gson:2.6.2 - https://github.com/google/gson/gson)
     (Apache 2.0) error-prone annotations (com.google.errorprone:error_prone_annotations:2.0.18 - http://nexus.sonatype.org/oss-repository-hosting.html/error_prone_parent/error_prone_annotations)
     (The Apache Software License, Version 2.0) Guava: Google Core Libraries for Java (com.google.guava:guava:22.0 - https://github.com/google/guava/guava)
     (The Apache Software License, Version 2.0) J2ObjC Annotations (com.google.j2objc:j2objc-annotations:1.1 - https://github.com/google/j2objc/)
     (Unicode/ICU License) ICU4J (com.ibm.icu:icu4j:58.2 - http://icu-project.org/)
     (Apache License, Version 2.0) Apache Commons CLI (commons-cli:commons-cli:1.4 - http://commons.apache.org/proper/commons-cli/)
     (Apache License, Version 2.0) Apache Commons IO (commons-io:commons-io:2.5 - http://commons.apache.org/proper/commons-io/)
     (The Apache Software License, Version 2.0) Commons Lang (commons-lang:commons-lang:2.6 - http://commons.apache.org/lang/)
     (Unknown license) fontawesomefx-commons (de.jensd:fontawesomefx-commons:8.15 - no url defined)
     (Unknown license) fontawesomefx-materialdesignfont (de.jensd:fontawesomefx-materialdesignfont:1.7.22-4 - no url defined)
     (gpl_v3) keydeps (edu.kit.iti.formal.psdbg:keydeps:1.0 - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/keydeps)
     (gpl_v3) Language Foundations (edu.kit.iti.formal.psdbg:lang:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/lang)
     (gpl_v3) lint (edu.kit.iti.formal.psdbg:lint:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/lint)
     (gpl_v3) matcher (edu.kit.iti.formal.psdbg:matcher:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/matcher)
     (gpl_v3) rt (edu.kit.iti.formal.psdbg:rt:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/rt)
     (gpl_v3) rt-key (edu.kit.iti.formal.psdbg:rt-key:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/rt-key)
     (GNU LGPL 2.1) tuProlog (it.unibo.alice.tuprolog:tuprolog:3.2.1 - http://tuprolog.unibo.it)
     (Eclipse Public License 1.0) JUnit (junit:junit:4.12 - http://junit.org)
Alexander Weigl's avatar
Alexander Weigl committed
24 25 26 27
     (gpl_v2+) key.core (key-project-psdbg:key.core:2.7-SNAPSHOT - no url defined)
     (gpl_v2+) key.ui (key-project-psdbg:key.ui:2.7-SNAPSHOT - no url defined)
     (gpl_v2+) key.util (key-project-psdbg:key.util:2.7-SNAPSHOT - no url defined)
     (gpl_v2+) recoder (key-project-psdbg:recoder:2.7 - no url defined)
Alexander Weigl's avatar
Alexander Weigl committed
28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
     (The BSD License) JavaCC (net.java.dev.javacc:javacc:4.0 - http://javacc.dev.java.net/)
     (BSD 3-Clause "New" or "Revised" License (BSD-3-Clause)) abego TreeLayout Core (org.abego.treelayout:org.abego.treelayout.core:1.0.3 - http://treelayout.sourceforge.net)
     (BSD licence) StringTemplate 4 (org.antlr:ST4:4.0.8 - http://www.stringtemplate.org)
     (BSD licence) ANTLR 3 Tool (org.antlr:antlr:3.5.2 - http://antlr.org/antlr)
     (BSD licence) ANTLR 3 Runtime (org.antlr:antlr-runtime:3.5.2 - http://www.antlr.org)
     (The BSD License) ANTLR 4 Tool (org.antlr:antlr4:4.7 - http://www.antlr.org)
     (The BSD License) ANTLR 4 Runtime (org.antlr:antlr4-runtime:4.7 - http://www.antlr.org/antlr4-runtime)
     (The Apache Software License, Version 2.0) Commons Lang (org.apache.commons:commons-lang3:3.0 - http://commons.apache.org/lang/)
     (The Apache Software License, Version 2.0) Apache Log4j API (org.apache.logging.log4j:log4j-api:2.6 - http://logging.apache.org/log4j/2.x/log4j-api/)
     (The Apache Software License, Version 2.0) Apache Log4j Core (org.apache.logging.log4j:log4j-core:2.6 - http://logging.apache.org/log4j/2.x/log4j-core/)
     (MIT license) Animal Sniffer Annotations (org.codehaus.mojo:animal-sniffer-annotations:1.14 - http://mojo.codehaus.org/animal-sniffer/animal-sniffer-annotations)
     (The 3-Clause BSD License) ControlsFX (org.controlsfx:controlsfx:8.40.12 - http://www.controlsfx.org/)
     (gpl_v3) DockFX (org.dockfx:DockFX:0.1.12 - https://github.com/ClearControl/DockFX.git)
     (The BSD 2-Clause License) Flowless (org.fxmisc.flowless:flowless:0.6 - http://www.fxmisc.org/flowless/)
     (GPLv2 with the Classpath Exception) (The BSD 2-Clause License) RichTextFX (org.fxmisc.richtext:richtextfx:1.0.0-SNAPSHOT - http://www.fxmisc.org/richtext/)
     (The BSD 2-Clause License) UndoFX (org.fxmisc.undo:undofx:1.3.1 - http://www.fxmisc.org/undo/)
     (The BSD 2-Clause License) WellBehavedFX (org.fxmisc.wellbehaved:wellbehavedfx:0.3 - http://www.fxmisc.org/wellbehaved/)
     (Dual license consisting of the CDDL v1.1 and GPL v2) JSR 353 (JSON Processing) Default Provider (org.glassfish:javax.json:1.0.4 - http://jsonp.java.net)
     (New BSD License) Hamcrest Core (org.hamcrest:hamcrest-core:1.3 - https://github.com/hamcrest/JavaHamcrest/hamcrest-core)
     (The MIT License) Project Lombok (org.projectlombok:lombok:1.16.16 - https://projectlombok.org)
     (The BSD 2-Clause License) ReactFX (org.reactfx:reactfx:2.0-M5 - http://www.reactfx.org/)