#273 (Mar 5, 2017, 12:50:11 AM)

1. merged (detail / hgweb)
2. clarified pretty margin; (detail / hgweb)
3. more general hover_message (see also JEdit_Rendering.tooltip_message); (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. decorations for background and foreground colors; (detail / hgweb)
6. tight protocol messages; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. symbolic Rendering.Color;
   clarified modules; (detail / hgweb)
9. tuned; (detail / hgweb)
10. Knaster-Tarski fixed point theorem and Galois Connections. (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.