Jason Felds e6110ee786 New metric: CheckpointsWithJudgments. Deals with scoring checkpoints on evaluation. True adds successful checkpoints to the best judgment available and unsuccessful to the misses: false doesn't display at all. This probably could be better.

2009-05-24 01:40:55 +00:00

..

Languages

Remove duplicate buttons: already defined in default.

2009-05-18 03:38:12 +00:00

Scripts

Add colors and name fixes.

2009-05-18 02:58:16 +00:00

metrics.ini

New metric: CheckpointsWithJudgments. Deals with scoring checkpoints on evaluation. True adds successful checkpoints to the best judgment available and unsuccessful to the misses: false doesn't display at all. This probably could be better.

2009-05-24 01:40:55 +00:00