[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.

Hi Alexander,
as you suggested, I tracked down some issues:
- commented on https://bugs.eclipse.org/bugs/show_bug.cgi?id=200839
- commented on https://bugs.eclipse.org/bugs/show_bug.cgi?id=200697
- commented on https://bugs.eclipse.org/bugs/show_bug.cgi?id=93452
- added https://bugs.eclipse.org/bugs/show_bug.cgi?id=203414
- added https://bugs.eclipse.org/bugs/show_bug.cgi?id=203415
- added https://bugs.eclipse.org/bugs/show_bug.cgi?id=203417

Mauro.