#798 (Nov 24, 2018, 12:50:07 AM)

1. clarified file name; (detail / hgweb)
2. added Isabelle tool wrapper; (detail / hgweb)
3. support for build_fonts;
   treat Hebrew like math symbols: it is absent in Deja Vu Sans Mono; (detail / hgweb)
4. more operations; (detail / hgweb)
5. clarified font_domain: strict excludes e.g. space character; (detail / hgweb)
6. proper documentation;
   more operations; (detail / hgweb)
7. clarified; (detail / hgweb)
8. tuned comments -- based on history; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.