PAN-18 Here is the JSP file for hoempage

2019-03-24 15:21:25 -06:00
parent cf5135e5b0
commit 94440faa4d
2 changed files with 16 additions and 12 deletions
@@ -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" %>
+<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 <html>
 <head>
-  <title>Test page</title>
+  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+  <title>Theroem Prover</title>
 </head>
-
 <body>
-<h3>Test stuffs</h3>
-<a href="http://localhost:8080/login.html">test hyperlink </a>
-<form action="http://www.google.com">
-  <input type="submit" value="Redirect Page"/>
-</form>
-</body>
-</html>
+<div>
+  <div>
+    <h1>Theorem Prover</h1>
+    <h2>Hello! ${message}</h2>

+    Click on this <strong><a href="next">link</a></strong> to visit theorem entering page.
+  </div>
+</div>
+</body>
+</html>