#1045 (Oct 28, 2019, 12:50:07 AM)

1. added contributor (detail / hgweb)
2. avoid referring to lemmas by index (detail / hgweb)
3. documented reference (detail / hgweb)
4. example applications of the 'metric' decision procedure, by Maximilian Schäffeler (detail / hgweb)
5. decision procedure for metric spaces, implemented by Maximilian Schäffeler (detail / hgweb)
6. NEWS (detail / hgweb)
7. renamed because of duplicateion to avoid very long qualified names (detail / hgweb)

Started by an SCM change

This run spent:

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