Current changes
Some files related to teching the course at Oxford
Merge pull request #12 from UniMath/master

Updating my fork from the main repository
Update
added description of $ make doc to README.md
clarified make doc description in README
Merge pull request #45 from benediktahrens/e-coqdoc

added description of $ make doc to README.md
added link to wiki articles in README
Merge pull request #49 from benediktahrens/readme

added link to wiki articles in README
Updates
Removed unneeded files
Revert submodule changes
Merge pull request #50 from vladimirias/master

Merge changes to the main repository
add basic travis file
Merge pull request #53 from benediktahrens/travis

add basic travis file