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.

Revision: r1.1 - 24 Jul 2006 - 12:07 - JulienCharles
Ideas, requests, problems regarding the Mobius site QUESTION?