#761 (Feb 19, 2017, 11:01:06 PM)

1. backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra (detail / hgweb)
2. more complete program generation in presence of dictionaries (detail / hgweb)

Started by an SCM change

This run spent:

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