1.1
Requirements
You need a recent Eclipse (preferred 3.2+)
A working Coq installation (with a proper ide, coqc and coqtop).
