merge commit
Merge branch 'develop' of github.com:mlee284045/sidebar into develop
Merge pull request #4 from mlee284045/isabelle

Isabelle