# HG changeset patch
# User wenzelm
# Date 1465646279 -7200
# Node ID c20946f5b6fb565936e745463af51ce2c5b7837c
# Parent  a59801b7f125d0ef9dec25747d26de671fa80272
spelling;

diff -r a59801b7f125 -r c20946f5b6fb NEWS
--- a/NEWS	Fri Jun 10 23:13:04 2016 +0200
+++ b/NEWS	Sat Jun 11 13:57:59 2016 +0200
@@ -93,7 +93,7 @@
 'definition', 'inductive', 'function'.
 
 * Toplevel theorem statements support eigen-context notation with 'if' /
-'for' (in postix), which corresponds to 'assumes' / 'fixes' in the
+'for' (in postfix), which corresponds to 'assumes' / 'fixes' in the
 traditional long statement form (in prefix). Local premises are called
 "that" or "assms", respectively. Empty premises are *not* bound in the
 context: INCOMPATIBILITY.