#510 (Dec 25, 2017, 12:50:08 AM)

1. Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume (detail / hgweb)
2. fewer warnings; (detail / hgweb)
3. clarified positions; (detail / hgweb)
4. check bibtex database on ML side -- for semantic PIDE editing;
   tuned signature; (detail / hgweb)
5. clarified directories; (detail / hgweb)
6. more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default); (detail / hgweb)

Started by an SCM change

This run spent:

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