2.2 Adding the toplevel view
It is still not enough to make Prover Editor work.
You have now to add the Top-Level view to your
Eclipse's views. Go in
Window > Show View > Other... and choose in the category other,
Prover Editor top-level view.
You're done ! now you can properly use Prover Editor !!!.