Code

Add Coq IDE, version 8.4pl4#5124

Code

Merged

vitorgalvao merged 1 commit intoHomebrew:masterHomebrew/homebrew-cask:masterfrom vitorgalvao:fix-5123Copy head branch name to clipboardJun 29, 2014

+9

Commits

Commits on Jun 29, 2014

• Add Coq IDE, version 8.4pl4

  

  ndr

  authored and

  vitorgalvao

  committed
  25fb414

  Copy full SHA for 25fb414