Package: release-notes Version: 2010-11-12 Severity: minor The sentence at the beginning of section 5.1 is strange: Sometimes, changes have side-effects we cannot reasonably avoid, or we expose bugs somewhere else. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/