#1757 (Aug 23, 2022, 12:51:06 AM)

1. more formal meta data, within ".browser_info";
   update_chapter for each session when it is finished; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. support for pretty-printing of JSON trees; (detail / hgweb)
4. tuned signature;
   more operations; (detail / hgweb)
5. tuned: slightly more generic operations; (detail / hgweb)
6. remove duplicate parsing for alethe; fix skolemization; (detail / hgweb)

Started by an SCM change

This run spent:

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