search

bkc39 / Coq311

A course in Functional Programming and Data Structures
GNU General Public License v2.0
2 stars 0 forks source link

Remove ProofGeneral #11

Closed bkc39 closed 9 years ago

bkc39 commented 9 years ago

Resolves #9 when in conjucntion with bennn/vagrant-opam#1.

bennn commented 9 years ago

I'll try installing the VM tonight.

bennn commented 9 years ago

Success