#1193 (Oct 2, 2017, 9:31:09 PM)

1. discontinued obsolete 'files' in session ROOT; (detail / hgweb)
2. prefer file dependencies wrt. specific theories; (detail / hgweb)
3. added command 'external_file'; (detail / hgweb)
4. proper document (cf. 9f5bfef8bd82); (detail / hgweb)
5. removed pointless dependencies: done by 'spark_open'; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 3 hr 24 min build duration;
• 3 hr 29 min total from scheduled to completion.