#1422 (Mar 18, 2021, 12:50:06 AM)

1. more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
   NB: no bold version of 0x2900 due to fontforge crash "Internal Error: Some fragments did not join"; (detail / hgweb)
2. tuned message; (detail / hgweb)
3. proper directory of settings file;
   tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 32 min build duration;
• 1 hr 32 min total from scheduled to completion.