From 09286e1dfce6258694bfbf17e63decc7e1774109 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Mon, 13 Dec 2010 15:03:58 +0000 Subject: [PATCH] Minor correction --- about/changes/changes-17.en.ptm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/about/changes/changes-17.en.ptm b/about/changes/changes-17.en.ptm index 569e10c..265f0e0 100644 --- a/about/changes/changes-17.en.ptm +++ b/about/changes/changes-17.en.ptm @@ -4,7 +4,7 @@ all big operators should admit well-specified scopes. To this effect, the way parenthesized expressions are edited has changed, although the old non-matching editing style can be restored using - . + . Documents for previous versions of will be upgraded automatically in order to make all brackets match and determine the scopes of big