Skip to content

P
ProofScriptParser
Commit 777e59b3 authored by Alexander Weigl's avatar Alexander Weigl
Browse files
Options

3rd parties

parent 0848a23c
Pipeline #17069 passed with stages
          in 8 minutes and 59 seconds
          Hide whitespace changes
          Inline Side-by-side
          Showing with 96 additions and 0 deletions
          ui/src/main/resources/THIRD-PARTY.txt 0 → 100644
          View file @ 777e59b3
          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)
          (Unknown license) key.core (key-project-psdbg:key.core:2.7-SNAPSHOT - no url defined)
          (Unknown license) key.ui (key-project-psdbg:key.ui:2.7-SNAPSHOT - no url defined)
          (Unknown license) key.util (key-project-psdbg:key.util:2.7-SNAPSHOT - no url defined)
          (Unknown license) recoder (key-project-psdbg:recoder:2.7 - no url defined)
          (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/)
          website/docs/THIRD_PARTIES.md 0 → 100644
          View file @ 777e59b3
          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)
          (Unknown license) key.core (key-project-psdbg:key.core:2.7-SNAPSHOT - no url defined)
          (Unknown license) key.ui (key-project-psdbg:key.ui:2.7-SNAPSHOT - no url defined)
          (Unknown license) key.util (key-project-psdbg:key.util:2.7-SNAPSHOT - no url defined)
          (Unknown license) recoder (key-project-psdbg:recoder:2.7 - no url defined)
          (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/)
          Markdown is supported
          0% or
          You are about to add 0 people to the discussion. Proceed with caution.
          Finish editing this message first!
          Please register or to comment