#363 (Jul 4, 2017, 12:50:08 AM)

1. proper concept of code declaration wrt. atomicity and Isar declarations (detail / hgweb)
2. merged (detail / hgweb)
3. complete on long name components as well; (detail / hgweb)
4. added command 'alias' and 'type_alias'; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. unused; (detail / hgweb)
8. qualify Complete_Partial_Order2.compact (detail / hgweb)

Started by an SCM change

This run spent:

• 6.1 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.