#1433 (Mar 5, 2018, 11:17:11 AM)

1. update comment syntax (detail / hgweb)
2. update comment syntax (detail / hgweb)
3. merged from afp-2017; website regen (detail / hgweb)
4. New entry: Architectural_Design_Patterns (detail / hgweb)
5. website for Hoare Time (detail / hgweb)
6. new entry Hoare Time by Haslbeck and Nipkow (detail / hgweb)
7. Merged in larsrh/afp-2017 (pull request #4)
   
   sitegen: some bash improvements (detail / hgweb)

Started by an SCM change

This run spent:

• 6.7 sec waiting;
• 1 hr 40 min build duration;
• 1 hr 40 min total from scheduled to completion.