Worked on an Eclipse user interface for multiple provers.
We began the work on the PVS part. It is due to be finished soon (as by the 24th of july 2006).
In the visit we added an outline to the interface for Coq files.
The documentation (mostly Javadoc) was rewritten.