michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update README.md

Browse source 
put http://build.leanprover.net
[skip ci]
This commit is contained in:
Soonho Kong 2013-09-12 20:19:07 -07:00
parent 4c19cc6957
commit 4b755867c4
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -7,9 +7,9 @@ Mac OS X 10.8.2, g++-4.9
[![Build Status](https://travis-ci.org/soonhokong/lean-windows.png?branch=master)](https://travis-ci.org/soonhokong/lean-windows)
Windows, x86_64-w64-mingw32-g++-4.8.1
[[Result of Build/UnitTest/Coverage/Dynamic Analysis]][cdash]
[[Result of Build/UnitTest/Coverage/Dynamic Analysis]][build]
[cdash]: http://cmacslab2.modck.cs.cmu.edu/CDash-2-0-2/index.php?project=Lean
[build]: http://build.leanprover.net
Requirements
============