#949 (Jun 9, 2017, 4:54:49 PM)

1. HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections (detail / hgweb)
2. avoid markup, for the sake of Build_Log.Log_File.parse_props; (detail / hgweb)
3. more robust: store important meta info before potential failure; (detail / hgweb)
4. tuned message; (detail / hgweb)

Started by an SCM change

This run spent:

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