Previous Up Next

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 !!!.


Previous Up Next