#369 (Mar 14, 2017, 1:33:10 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

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

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 15 hr build duration;
• 15 hr total from scheduled to completion.