[Termtools] Registrations

[Frederic Blanqui]

On Fri, 25 May 2007, Claude Marché wrote:

> For the new certifying option, only specialzed tools are registered,
> so unlike what is said in the rules, it will be run as a separate
> category, on the same set of examples as the standard TRS.

hello claude! why to restrict certification to TRSs? certification should be 
on all the database, with perhaps sub-scores on each category.