diff options
| author | Cyril Cohen | 2017-02-06 23:13:31 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2017-02-06 23:14:04 +0100 |
| commit | 8ec7ab833235c71ac701ad4a4fa09aca87008e4f (patch) | |
| tree | be1778827c65d47c53a5e8a32ee9e2adb407c05f | |
| parent | 03813123823780fc4a17e960a50758055573c7da (diff) | |
Build status in README
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +[](https://travis-ci.org/math-comp/math-comp) + # The Mathematical Components repository This repository holds the Mathematical Components Library for the Coq system: |