22 Jul
2009
22 Jul
'09
7:35 a.m.
Bulat Ziganshin wrote:
Hello Christian,
Wednesday, July 22, 2009, 1:35:07 PM, you wrote:
http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...
is it compatible with OpenSolaris too? if so, it's great, my users asks about OpenSolaris/Mac/FreeBSD support
I think, older versions worked under OpenSolaris, too. But maybe someone else can really confirm this for the current version. Cheers Christian