refined

doc/manual/background.tex

@@ -111,11 +111,11 @@ If you want to know more about generators, consult the on-line Python
 documentation, e.g. at \url{http://www.python.org/doc/2.2.2/whatsnew}. 
 
 \begin{notice}[warning]
-Earlier I mentioned that generators were
-introduced in Python 2.2. In that version, they are a ``future''
-feature that has to be enabled explicitly. In Python 2.3, which is the
-latest stable Python version at the time of this writing, generators
-are enabled by default.
+As mentioned earlier, generators were introduced in Python 2.2. In
+that version, they are introduced as a ``future'' feature that has to
+be enabled explicitly. In Python 2.3, which is the latest stable
+Python version at the time of this writing, generators are enabled by
+default.
 
 Besides generators, Python 2.3 has several other interesting new
 features, and it runs 25--35\% faster than Python 2.2. For this

doc/manual/informal.tex

@@ -37,8 +37,8 @@ languages, we can only use identifiers that are
 \emph{literally} defined in the source file 
 \footnote{The exception is the \samp{from module import *} syntax,
 that imports all the symbols from a module. Although this is generally
-considered bad practice, disallowing this can be impractical for large
-modules that export a lot of symbols. It may be argued that
+considered bad practice, it can be tolerated for large modules that
+export a lot of symbols. One may argue that
 \code{myhdl} falls into that category.}.
 
 Next, we define a generator function called