diff --git a/academic.xml b/academic.xml
index ad0230c..4e9af2c 100755
--- a/academic.xml
+++ b/academic.xml
@@ -749,7 +749,7 @@ gen_tcp:send(Socket, ["GET ", Url, " HTTP/1.0", "\r\\n\r\\n"]).
There is an active research group looking at problems
related to formal verification, they have a
- home page.
+ home page.
I've heard it's a bad idea to program defensively in Erlang. Why?
diff --git a/how_do_i.xml b/how_do_i.xml
index db7539c..09e65b2 100755
--- a/how_do_i.xml
+++ b/how_do_i.xml
@@ -243,7 +243,7 @@
There are a number of user-supported methods and tools, including
- A set of C++ classes
+ A set of C++ classes
A Python implementation of an Erlang hidden node
EDTK, a port-driver toolkit, roughly equivalent
diff --git a/introduction.xml b/introduction.xml
index 32f407d..fb9abb1 100755
--- a/introduction.xml
+++ b/introduction.xml
@@ -263,7 +263,7 @@
- University of
+ University of
A Coruña in Spain.
diff --git a/obtaining.xml b/obtaining.xml
index 413b11e..a72cda1 100755
--- a/obtaining.xml
+++ b/obtaining.xml
@@ -188,6 +188,7 @@
Mnesia's internals are described on
+
Håkan's slides
@@ -203,6 +204,7 @@
.
+
Erlang-projects has a collection of papers written at the
now-defunct SERC division of RMIT.
@@ -307,7 +309,7 @@ distributing it are:
Putting the code on a personal homepage
- Getting your code packaged into the CEAN
+ Getting your code packaged into the CEAN
@@ -316,7 +318,7 @@ distributing it are:
Even though Erlang is a fairly mature language with a large
established code-base, changes and enhancements are still
- being incorporated. There is a newly established mechanism
+ being incorporated. There is a mechanism
called the Erlang
Enhancement Proposal which formalises the process.
@@ -410,7 +412,7 @@ distributing it are:
The erlang-questions list is
-
+
archived on the Erlang website.
@@ -438,6 +440,7 @@ distributing it are:
Are there any websites apart from erlang.org?
+
Erlang-projects
aims to track Erlang use in projects.
diff --git a/tools.xml b/tools.xml
index 2ee00f0..3c71fb7 100755
--- a/tools.xml
+++ b/tools.xml
@@ -67,8 +67,7 @@ href="http://www.erlang.org/ml-archive/erlang-questions/199903/msg00002.html">
A test suite is especially useful for making sure that
"improvements" to the system haven't broken something.
- The OTP group have released their comprehensive
- test system for Erlang. The test server can be used for testing
+ The test system for Erlang. The test server can be used for testing
your project and it includes test suites for the Erlang emulator
and erlang stdlib.