diff --git a/out/test/resources/test.properties b/out/test/resources/test.properties deleted file mode 100644 index 9bc08c6..0000000 --- a/out/test/resources/test.properties +++ /dev/null @@ -1 +0,0 @@ -integration.test.base.url=http://localhost: \ 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 index fc13988..c87e887 100644 --- a/src/main/webapp/WEB-INF/jsp/index.jsp +++ b/src/main/webapp/WEB-INF/jsp/index.jsp @@ -12,19 +12,26 @@ - - Pandamonium™ Theorem Prover - + + Pandamonium™ Theorem Prover +
-
-

Theorem Prover

-

Hello! Welcome to Pandamonium™ Theorem Prover!!

-

- Click on this link to visit theorem entering page. -

+
+

Theorem Prover

+

Hello! Welcome to Pandamonium™ Theorem Prover!!

+ +

+ Click on this link to visit theorem entering page. +

+ + +Click on this link to visit theorem entering page. +

Sign In

+ +