#495 (Oct 3, 2016, 9:01:02 PM)

1. proof of concept for algebraically founded word types (detail / hgweb)
2. more lemmas (detail / hgweb)
3. option to report results of solve_direct as explicit warnings (detail / hgweb)
4. modernized option (detail / hgweb)
5. CONTRIBUTORS (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 6 min build duration;
• 1 hr 11 min total from scheduled to completion.