|Re: C/C++ code review [message #113181 is a reply to message #105770]
||Mon, 24 September 2007 19:58
Originally posted by: mzinni.gmail.com|
Are these fixes available yet? Been looking around the TPTP website and
haven't seen anything mentioned.
I also downloaded the 4.4.1 Candidate Build today, but had no luck with that
"Steve Gutz" <email@example.com> wrote in message
> When CDT rolled over to 4.0 a few problems surfaced. A fix for these has
> been delivered to the TPTP 4.4.1 stream.
> "Bartosz Michalik" <nugaee@SPAMtlen.pl> wrote in message
>> does it work ?
>> it doesn't return any results even if i break rules for purpose
>> thanks for answers
>> bartek michalik
Powered by FUDForum
. Page generated in 0.02274 seconds