#226 (May 26, 2016, 11:46:21 PM)

1. merged (detail / hgweb)
2. restructure source layout for some sessions
   
   In case of build failure, the build scripts need to be able to figure out the
   AFP entry from the failing session. Since there is no one-to-one mapping from
   entry names to session names, we look at the source root of the failing session
   and expect this to be a direct subfolder of "thys". Some sessions violated that
   expectation. This commit rectifies that. (detail / hgweb)
3. adapt Card_Equiv_Relations to partitions/partition_of change (detail / hgweb)

Started by an SCM change