#289 (Jun 29, 2016, 2:05:12 AM)

1. adjust for isabelle bf2cf0653741 (detail / hgweb)
2. merge from afp-2016 (detail / hgweb)
3. author URLs (detail / hgweb)
4. sync entry nav with main nav (detail / hgweb)
5. webpage for Dependent_SIFUM_Refinement (detail / hgweb)
6. new entry Dependent_SIFUM_Refinement (detail / hgweb)
7. updated documentation: no more config files (detail / hgweb)
8. Computer Networks -> Networks (detail / hgweb)
9. new entry IP_Addresses (detail / hgweb)

Started by an SCM change