#288 (Jun 28, 2016, 3:32:09 PM)

1. Launchbury: Use notation instead of repeated abbreviation
   
   when trying to use notation coming from a locale. Also, replace use of
   @{abbrev …} by @{term …}, as abbrev is no longer happy here. (detail / hgweb)

Started by an SCM change