bugfix: proper return types for templates

2 files changed, 5 insertions, 4 deletions

diff --git a/doc/filelist.txt b/doc/filelist.txt
index ce9923453..f71547f86 100755
--- a/doc/filelist.txt
+++ b/doc/filelist.txt
@@ -31,11 +31,12 @@ semstmts        contains the semantic checking phase for statements
 semtypes        contains the semantic checking phase for types
 seminst         instantiation of generic procs and types
 semfold         contains code to deal with constant folding
+semthreads      deep program analysis for threads
 evals           contains an AST interpreter for compile time evaluation
 pragmas         semantic checking of pragmas
 
 idents          implements a general mapping from identifiers to an internal
-                representation (``PIdent``) that is used, so that a simple
+                representation (``PIdent``) that is used so that a simple
                 id-comparison suffices to say whether two Nimrod identifiers
                 are equivalent
 ropes           implements long strings represented as trees for
diff --git a/doc/intern.txt b/doc/intern.txt
index 7fee87a93..67812bcc8 100755
--- a/doc/intern.txt
+++ b/doc/intern.txt
@@ -29,8 +29,8 @@ Path           Purpose
 ``dist``       additional packages for the distribution
 ``doc``        the documentation; it is a bunch of
                reStructuredText files
-``lib``        the Nimrod library; ``rod`` depends on it!
-``web``        website of Nimrod; generated by ``koch.py``
+``lib``        the Nimrod library
+``web``        website of Nimrod; generated by ``nimweb``
                from the ``*.txt`` and ``*.tmpl`` files
 ============   ==============================================
 
@@ -117,7 +117,7 @@ parser. The parser builds a syntax tree that is used by the code generator.
 This syntax tree is the interface between the parser and the code generator.
 It is essential to understand most of the compiler's code.
 
-In order to compile Nimrod correctly, type-checking has to be seperated from
+In order to compile Nimrod correctly, type-checking has to be separated from
 parsing. Otherwise generics cannot work.
 
 .. include:: filelist.txt