# HG changeset patch
# User wenzelm
# Date 1083443331 -7200
# Node ID 2c9b463044ecb0c60f15119eabb6b034ba6759ca
# Parent  7e4dec3fd515ad531ea1a0a20f31e999ac496b79
tuned;

diff -r 7e4dec3fd515 -r 2c9b463044ec NEWS
--- a/NEWS	Sat May 01 22:27:25 2004 +0200
+++ b/NEWS	Sat May 01 22:28:51 2004 +0200
@@ -20,7 +20,7 @@
 parsing/printing, see also isar-ref manual.
 
 * Pure: improved indexed syntax and implicit structures.  First of
-call, indexed syntax provides a notational device for subscripted
+all, indexed syntax provides a notational device for subscripted
 application, using the new syntax \<^bsub>term\<^esub> for arbitrary
 expressions.  Secondly, in a local context with structure
 declarations, number indexes \<^sub>n or the empty index (default