#631 (Dec 18, 2016, 10:07:07 PM)

1. added isabelle jedit -R;
   errors in session_info/session_content are ignored and deferred to later checks of Build.build; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 55 min build duration;
• 1 hr 0 min total from scheduled to completion.