Skip to topic | Skip to bottom
... Mobius IST-15905


Start of topic | Skip to actions
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.


You are here: Tools > Component Index > Bytecode Subsystem > Latest News > Project Status > Site Visits > CharlesKiniryAprilOhSixSummary

to top

Ideas, requests, problems regarding the Mobius site QUESTION?