[Sigmakee-develop] Sigma 2.0 released

[<ada...@ea...>]

Folks,
   Sigma 2.0 has been released at 
<https://sourceforge.net/project/showfiles.php?group_id=102489> 
(or from the main project site at http://sigmakee.sourceforge.net).  It 
includes more robust and correct inference performance, and an 
experimental link to many new theorem provers. It has simplified and 
more stable installation procedures and many minor enhancements and bug 
fixes.  We'd like your feedback, if you have time to try it out.

Adam