#770 (Mar 13, 2017, 5:23:09 PM)

1. Rename F/L-validity (from valid to FL_valid) to avoid potential name clash. (detail / hgweb)
2. Rename lemma. (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 6 min 20 sec build duration;
• 6 min 26 sec total from scheduled to completion.