6 Commits

Author	SHA1	Message	Date
zeliu	3b4753215c	PAN-18 Refactored the HomeController	2019-03-24 15:26:08 -06:00
zeliu	94440faa4d	PAN-18 Here is the JSP file for hoempage	2019-03-24 15:21:25 -06:00
atusa17	296cf62be6	PAN-52 Fixed issue with the Theorems API	2019-03-21 11:40:19 -06:00
-	c45c0a6108	add to PAN-16	2019-03-14 17:04:10 -06:00
-	139dc943c3	PAN-16 finished	2019-03-14 16:58:17 -06:00
atusa17	96c90a3c49	change git root	2019-03-03 16:13:24 -07:00