#720 (Feb 13, 2017, 12:38:09 AM)

1. merge from afp-2016-1 (detail / hgweb)
2. new entry: Abstract_Soundness (detail / hgweb)
3. add MacOS switch for release ISABELLETOOL determination (detail / hgweb)
4. website for Stone_Relation_Algebras (detail / hgweb)
5. new entry Stone_Relation_Algebras (detail / hgweb)
6. different ISABELLE_TOOL path for MacOS systems (... .app/Isabelle/...) (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 5 min 7 sec build duration;
• 5 min 14 sec total from scheduled to completion.