#1231 (Dec 1, 2017, 11:26:13 PM)

1. merged, resolving trivial conflict in thys/Markov_Models/Classifying_Markov_Chain_States.thy; (detail / hgweb)
2. more accurate timeout; (detail / hgweb)
3. eliminated old 'def' command; (detail / hgweb)
4. tuned whitespace; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 49 min build duration;
• 49 min total from scheduled to completion.