# HG changeset patch
# User huffman
# Date 1315848525 25200
# Node ID 2ba4174f1e7d28cdf56474d78eb0e1ab5876c0cc
# Parent  1d5079a5a0a25890431f55c70333f135212966a6
fix typos

diff -r 1d5079a5a0a2 -r 2ba4174f1e7d NEWS
--- a/NEWS	Mon Sep 12 09:37:49 2011 -0700
+++ b/NEWS	Mon Sep 12 10:28:45 2011 -0700
@@ -229,7 +229,7 @@
     reals. INCOMPATIBILITY.
 
 * Theory Library/Extended_Reals replaces now the positive extended reals
-  found in probabilty thoery. This file is extended by
+  found in probability theory. This file is extended by
   Multivariate_Analysis/Extended_Real_Limits.
 
 * Old 'recdef' package has been moved to theory Library/Old_Recdef,