[Bug 529404] Review Request: cvc3 - Validity checker of many-sorted first-order formulas with theories

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=529404





--- Comment #18 from Yanko Kaneti <yaneti at declera.com>  2009-10-28 13:19:41 EDT ---
Thanks, Jerry. I am sure all mirror admins will appreciate that. Doxygen should
problably learn to produce svg, if it doesn't already, so we could keep some
pretty in.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.