# HG changeset patch
# User wenzelm
# Date 1141850446 -3600
# Node ID 20c113d17e014281196a4a6664b52b45df911dad
# Parent  a23af144eb47f12354dff090813c796f278e2eb8
tuned;

diff -r a23af144eb47 -r 20c113d17e01 NEWS
--- a/NEWS	Wed Mar 08 18:52:43 2006 +0100
+++ b/NEWS	Wed Mar 08 21:40:46 2006 +0100
@@ -82,7 +82,7 @@
 do not admit arbitrary goal addressing, unlike certain tactic
 emulations.)  For example, ``simp_all [3]'' simplifies the first three
 sub-goals, while (rule foo, simp_all)[] simplifies all new goals that
-emerge from applying rule foo$to the originally first one.
+emerge from applying rule foo to the originally first one.
 
 * Isar: the conclusion of a long theorem statement is now either
 'shows' (a simultaneous conjunction, as before), or 'obtains'