[news.eclipse.tptp] Re: Some personal thoughts about profiling with TPTP

[Mauro Molinari <mauro.molinari@xxxxxxxxxxxx>]

Alexander N. Alexeev ha scritto:
> Mauro, your remarks and critics of Eclipse TPTP are very valuable. And I 
> appreciate that your spent quite a few your time for looking into it.
>
> Could you put your points to Bugzilla as enhancements or bugs just not 
> to let them be forgotten. Also it allows to track issues separately and 
> define them more precisely.
>
> Thanks.
> Alex.

Thank you Alex for your kind reply.
I'm going to cut my original post down to extract some single request 
enhancements and bug reports.

Cheers,
Mauro.