Created two blank test files
merge commit
Merge pull request #3 from mlee284045/isabelle

models
changing main menu to index.html
Merge pull request #4 from mlee284045/miguel

changing main menu to index.html
updated base template
fixed merge issues
commit base template changes
merge commit
fixed merge conflict
merge
Merge pull request #5 from mlee284045/mike

Mike
adding changes after mikes disaster :) :) :)
Merge pull request #6 from mlee284045/miguel

adding changes after mikes disaster :) :) :)
adding home page
Merge pull request #7 from mlee284045/miguel

adding home page
add resource
add resource