diff --git a/build.gradle b/build.gradle index e00bb1b..2dfd518 100644 --- a/build.gradle +++ b/build.gradle @@ -100,7 +100,7 @@ repositories { } dependencies { - compile "org.jetbrains.kotlin:kotlin-stdlib-jdk8" + compile group: 'org.jacoco', name: 'org.jacoco.core', version: '0.8.3' compile 'org.codehaus.groovy:groovy-all:2.3.11' compile 'org.apache.commons:commons-lang3:3.5' // The production code uses the SLF4J logging API at compile time diff --git a/out/production/resources/application.properties b/out/production/resources/application.properties deleted file mode 100644 index a8a0755..0000000 --- a/out/production/resources/application.properties +++ /dev/null @@ -1,3 +0,0 @@ -spring.mvc.view.prefix:/WEB-INF/jsp/ -spring.mvc.view.suffix:.jsp -server.port=8090 \ No newline at end of file diff --git a/src/main/webapp/WEB-INF/jsp/index.jsp b/src/main/webapp/WEB-INF/jsp/index.jsp new file mode 100644 index 0000000..a31785b --- /dev/null +++ b/src/main/webapp/WEB-INF/jsp/index.jsp @@ -0,0 +1,27 @@ +<%-- + Created by IntelliJ IDEA. + User: atusa + Date: 2/1/19 + Time: 8:03 PM + To change this template use File | Settings | File Templates. +--%> + + +<%@ page contentType="text/html;charset=UTF-8" pageEncoding="UTF-8" %> + + + + + Pandamonium™ Theorem Prover + + +
+
+

Theorem Prover

+

Hello! Welcome to Pandamonium™ Theorem Prover!!

+ + Click on this link to visit theorem entering page. +
+
+ + \ No newline at end of file