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

Shift support to recent Coq. #1

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Shift support to recent Coq. #1

wants to merge 1 commit into from

Conversation

kindaro
Copy link

@kindaro kindaro commented Feb 7, 2020

Since Coq 8.9.0, one should command coqidetop instead of
coqtop-ideslave. This commit delivers that change. Unfortunately,
it makes the plugin incompatible with earlier versions of Coq.

@kindaro
Shift support to recent Coq.
964d3f1 
Since Coq 8.9.0, one should command `coqidetop` instead of
`coqtop-ideslave`. This commit delivers that change. Unfortunately,
it makes the plugin incompatible with earlier versions of Coq.
@kindaro
Copy link
Author

kindaro commented Feb 7, 2020

If you can guide me as to how best to guess the version of Coq and select the right command for each case, I will be sure to add that feature, so that both earlier and later versions of Coq are supported.

@kindaro
Copy link
Author

kindaro commented Feb 7, 2020

The present patch is analogous to the unmerged the-lambda-church/coquille#76.

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

Successfully merging this pull request may close these issues.
1 participant
@kindaro