#160 (Apr 15, 2016, 1:38:31 PM)

1. regenerate depends-on info (detail / hgweb)
2. merge from afp-2016 (detail / hgweb)
3. add URL for Walter Guttmann (detail / hgweb)
4. Merged in larsrh/afp-2016/depends-on (pull request #1)
   
   Auto-generate the 'depends on' field (detail / hgweb)
5. regenerate entries (detail / hgweb)
6. Python 3 compatibility (detail / hgweb)
7. regenerate entries (detail / hgweb)
8. generate dependencies by default (detail / hgweb)
9. Autogenerate "depends-on" field
   
   Generate the "depends-on" field of an entry by parsing ROOT and .thy
   files (detail / hgweb)

Started by an SCM change