Merge branch 'master' of ssh://cvs.cs.unc.edu/cvs/proj/litmus/repo/homepage

1 files changed, 5 insertions, 6 deletions

diff --git a/index.html b/index.html
index b8b3a5e..13ffce8 100644
--- a/index.html
+++ b/index.html
@@ -43,7 +43,7 @@
     <p>
     The current version of LITMUS<sup>RT</sup> is <strong>2008.1</strong> and is based on Linux&nbsp;2.6.24. 
     It was released on 7/19/2008 and includes plugins for the following
-    scheduling policies are included:
+    scheduling policies:
     </p>
     <ul>
       <li> Partitioned EDF with synchronization support (PSN-EDF)</li>
@@ -78,9 +78,8 @@
     href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson</a>.
     </p>
     <p>
-    The
-    implementation effort is carried out by students of the 
-    <a href="http://www.cs.unc.edu/rt">Real-Time Systems
+    The implementation effort is carried out by students of the 
+    <a href="http://www.cs.unc.edu/~anderson/real-time/">Real-Time Systems
     Group</a> at the <a href="http://www.unc.edu">University of North Carolina
     at Chapel Hill</a>:
     </p>
@@ -213,7 +212,7 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008.
     General Public License (GPL)</a>. 
     </p>
     <p>
-    The current release of LITMUS<sup>RT</sup> is 2008.1 and was released on 7/19/2008. 
+    The current release of LITMUS<sup>RT</sup> is 2008.1. 
     It  consists of our Linux kernel modifications in the form of
     a patch against Linux 2.6.24 and 
     <span class="src">liblitmus</span>, the user-space API for real-time tasks.
@@ -278,7 +277,7 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008.
     extension of the Linux kernel that adds support for the sporadic task
     model, a scheduler plugin infrastructure, and some scheduler plugins, as
     well as a user-space library that provides the LITMUS<sup>RT</sup>
-    real-time API. Note, that the current implementation only works on the
+    real-time API. Note that the current implementation only works on the
     Intel x86-32 and sparc64 architectures.
     </p>
     <h3>Patching the Kernel</h3>