diff --git a/out/production/resources/application.properties b/out/production/resources/application.properties index a8a0755..f3ce324 100644 --- a/out/production/resources/application.properties +++ b/out/production/resources/application.properties @@ -1,3 +1,2 @@ spring.mvc.view.prefix:/WEB-INF/jsp/ -spring.mvc.view.suffix:.jsp -server.port=8090 \ No newline at end of file +spring.mvc.view.suffix:.jsp \ No newline at end of file diff --git a/src/main/webapp/index.jsp b/src/main/webapp/index.jsp index 0efda13..eaf742c 100644 --- a/src/main/webapp/index.jsp +++ b/src/main/webapp/index.jsp @@ -5,18 +5,23 @@ Time: 8:03 PM To change this template use File | Settings | File Templates. --%> -<%@taglib uri = "http://www.springframework.org/tags/form" prefix = "form"%> + + +<%@ page contentType="text/html;charset=UTF-8" language="java" pageEncoding="UTF-8" %> + - Test page + + Theroem Prover - -

Test stuffs

-test hyperlink -
- -
- - +
+
+

Theorem Prover

+

Hello! ${message}

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