#904 (May 18, 2017, 5:48:03 PM)

1. fix Christian Urban's email address (detail / hgweb)
2. added Regexp_Constructions.thy to Regular-Sets (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 3 min 59 sec build duration;
• 4 min 5 sec total from scheduled to completion.