CVS difference for ai12s/ai12-0005-1.txt

--- ai12s/ai12-0005-1.txt	2019/02/09 02:06:25	1.24
+++ ai12s/ai12-0005-1.txt	2019/02/14 05:26:02	1.25
@@ -1247,7 +1247,30 @@
 
 ***************************************************************
 
-Editor's note (February 08, 2019): All of the items above this
+From: Edmond Schonberg
+Sent: Monday, February 11, 2019  1:54 PM
+
+Subject: infinitesimal glitches in the AARM
+
+(with corresponding priority).  I came across the following in the latest 
+version (I have to say that the amount of work that you
+have put and continue putting into this is beyond awesome!):
+
+2.9 (3.g/5) : 2012=> 2020
+
+3.10.2 (23.r/4) : (is) leads
+
+6.1.1 (41.e/4) these are not [be] allowed
+
+6.3.1 (10.a/2) different than => different from
+
+For the last one I’ll defer to a native speaker, but “different than” grates 
+to my ears. It’s like using a comparison operator rather than
+an equality operator!
+
+***************************************************************
+
+Editor's note (February 11, 2019): All of the items above this
 marker have been included in the working version of the AARM.
 
 ****************************************************************