Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

README out of date #19

Closed
jldodds opened this issue Apr 10, 2015 · 1 comment
Closed

README out of date #19

jldodds opened this issue Apr 10, 2015 · 1 comment

Comments

@jldodds
Copy link

jldodds commented Apr 10, 2015

As of 72696f3 Math Classes are no longer a submodule, and it looks like make is now the preferred build method. Updated build instructions would be appreciated
spitters added a commit that referenced this issue May 29, 2015
@spitters
Updating README, resolving #19
e1f891d
spitters added a commit that referenced this issue May 29, 2015
@spitters
Merge pull request #20 from spitters/master
0e9fad5 
Updating README, resolving #19
@spitters
Copy link
Collaborator

Thanks. The Coq team is requiring OPAM for contribs, so that's the model we are using.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@spitters @jldodds