Skip to content

Commit

Permalink
Merge pull request #435 from Blaisorblade/patch-2
Browse files Browse the repository at this point in the history 
Fix #434: Delete outdated instructions for Coq 8.4
  • Loading branch information
@andrew-appel
andrew-appel authored Jul 6, 2020
2 parents e835406 + 3c820f8 commit 917788b
Showing 1 changed file with 0 additions and 283 deletions.
283 changes: 0 additions & 283 deletions doc/INSTALL.md
View file

This file was deleted.

0 comments on commit 917788b

Please sign in to comment.