#1203 (Nov 8, 2017, 6:53:49 PM)

1. merge (detail / hgweb)
2. slight change of definition of jordan_nf, enables lemma jordan_nf_unique (detail / hgweb)

Started by an SCM change

This run spent:

• 9.8 sec waiting;
• 3 hr 13 min build duration;
• 3 hr 13 min total from scheduled to completion.