Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Update UI for new features #127
Based on #95.
A few new features have led to changes needed in the Web UI. Summary:
Documentation and tests are updated appropriately.