[Aegisvm-devel] PR

[Philip F. <pw...@us...>]

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.