mathlib3
chore(.travis.yml): use Lean to determine the Lean version
#714

Merged

chore(.travis.yml): use Lean to determine the Lean version #714

cipher1024 merged 2 commits into master from rwbarton-lean-ver

cipher1024 assigned

cipher1024 6 years ago

chore(.travis.yml): use Lean to determine the Lean version

41126d89

rwbarton force pushed from 5ed4b759 to 41126d89 6 years ago

Merge branch 'master' into rwbarton-lean-ver

e67d1aba

cipher1024 merged ce92e8af into master 6 years ago

cipher1024 deleted the rwbarton-lean-ver branch 6 years ago

Reviewers

No reviews

Assignees

cipher1024

Labels

None yet

Milestone

No milestone