[Aegisvm-devel] PR
Status: Pre-Alpha
Brought to you by:
pwlfong
|
From: Philip F. <pw...@us...> - 2002-07-12 23:37:52
|
Hi Our project is listed on the Doxygen web site as one of their users. Check it out: http://www.stack.nl/~dimitri/doxygen/projects.html Speaking of Doxygen, it is the tool we use in order to generate cross-referenced HTML documentation for both libjpr and aegisvm. (Type "make dox" to generate them. See HACKING for more detail.) I am gradually populating the documentation pages, and the result looks really nice. Thanks to the suggestions from Chris, who initiated this documentation effort. Philip -- Philip W. L. Fong pw...@us... The Aegis VM Project http://aegisvm.sourceforge.net The Aegis VM Project is an on-going effort to implement a lightweight, secure JVM. It will eventually feature a modular architecture, Proof Linking, that supports pluggable verification modules. |