#635 (May 20, 2018, 12:50:09 AM)

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)
9. added lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.