[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tptp-monitoring-tools-dev] TPTP 4.2.1 : Request to fix bug 151897


https://bugs.eclipse.org/bugs/show_bug.cgi?id=151897

Invalid build marker is shown on GLA rule validation. This is misleading to user who has a valid rule file.

Thanks.
------------------------------------------------------------------------------
Eugene Chan
IBM Toronto Laboratory, Canada