#907 (Apr 2, 2019, 1:26:41 AM)

1. 'code_reflect' only supports new-style 'file_prefix';
   avoid fragile file "$ISABELLE_TMP/rat.ML"; (detail / hgweb)
2. tuned signature -- more exports; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. A few results in Algebra, and bits for Analysis (detail / hgweb)

Started by an SCM change

This run spent:

• 36 min waiting;
• 1 hr 12 min build duration;
• 1 hr 49 min total from scheduled to completion.