For OS X:

- Download Coq from <https://coq.inria.fr/distrib/V8.5beta2/files/CoqIDE_8.5beta2.dmg> and copy to /Applications
- Add [coqide](../bin/coqide) (a simple shell script that launches the app) to a directory on your path
- Put coqide.keys in "~/Library/Application Support/coq/"

For OS X:

- Download Coq from <https://coq.inria.fr/distrib/V8.5beta2/files/CoqIDE_8.5beta2.dmg> and copy to /Applications
- Add [coqide](../bin/coqide) (a simple shell script that launches the app) to a directory on your path
- Put [coqide.keys](./coqide.keys) in "~/Library/Application Support/coq/"

Make coqide.keys a link on GitHub
Make coqide.keys a link on GitHub
