#1670 (May 19, 2018, 9:49:04 PM)

1. override default of Isabelle_Process, notably for PIDE export of "document.tex"; (detail / hgweb)
2. tuned queries; (detail / hgweb)
3. support for build_database_server (PostgreSQL);
   clarified signature; (detail / hgweb)
4. clarified store.clean_output: cleanup user_output_dir even in system_mode; (detail / hgweb)
5. clarified store directories;
   discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified handling of output heap; (detail / hgweb)
8. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 46 min build duration;
• 1 hr 51 min total from scheduled to completion.