CharlesKiniryApril06Visit

Worked on an Eclipse user interface for multiple provers.

• Its [INRIA gforge site]

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.

Version: 1 Time: Mon Sep 17 15:10:48 2007 Author: dcochran (dcochran) IP: 193.1.132.32