From 8f2968bc2b0529c4dbb6f73b8c13df73cf26de77 Mon Sep 17 00:00:00 2001 From: zeliu Date: Sun, 24 Mar 2019 17:17:04 -0600 Subject: [PATCH] PAN-18 WORKING HOMEPAGE --- src/main/webapp/WEB-INF/jsp/index.jsp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/webapp/WEB-INF/jsp/index.jsp b/src/main/webapp/WEB-INF/jsp/index.jsp index 54f56bb..a31785b 100644 --- a/src/main/webapp/WEB-INF/jsp/index.jsp +++ b/src/main/webapp/WEB-INF/jsp/index.jsp @@ -12,13 +12,13 @@ - Theorem Prover + Pandamonium™ Theorem Prover

Theorem Prover

-

Hello! Welcome to Theorem Prover !!

+

Hello! Welcome to Pandamonium™ Theorem Prover!!

Click on this link to visit theorem entering page.