Differences between / version 1.1 and / version 1.2

. DIFFERENCES BETWEEN VERSIONS 1.1 AND 1.2

Version 1.2 of / fills in some gaps and corrects some mistakes in the / 1.1 feature set. The significant differences, from a user's perspective, are described in the document diff12.tex.