diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index 66a848e..8cb60bb 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -336,6 +336,27 @@
 </div>
 
 <!--=========================================================================-->
+<h3>Pure</h3>
+  
+<div>
+<p><a href="http://pure-lang.googlecode.com/">Pure</a> is an
+  algebraic/functional programming language based on term rewriting. Programs
+  are collections of equations which are used to evaluate expressions in a
+  symbolic fashion. The interpreter uses LLVM as a backend to JIT-compile Pure
+  programs to fast native code. Pure offers dynamic typing, eager and lazy
+  evaluation, lexical closures, a hygienic macro system (also based on term
+  rewriting), built-in list and matrix support (including list and matrix
+  comprehensions) and an easy-to-use interface to C and other programming
+  languages (including the ability to load LLVM bitcode modules, and inline C,
+  C++, Fortran and Faust code in Pure programs if the corresponding LLVM-enabled
+  compilers are installed).</p>
+  
+<p>Pure version 0.48 has been tested and is known to work with LLVM 3.0
+  (and continues to work with older LLVM releases &gt;= 2.5).</p>
+
+</div>
+
+<!--=========================================================================-->
 <h3>TTA-based Co-design Environment (TCE)</h3>
 
 <div>
@@ -391,29 +412,6 @@
 
 <!--=========================================================================-->
 <!--
-<h3>Pure</h3>
-  
-<div>
-<p><a href="http://pure-lang.googlecode.com/">Pure</a> is an
-  algebraic/functional
-  programming language based on term rewriting. Programs are collections
-  of equations which are used to evaluate expressions in a symbolic
-  fashion. The interpreter uses LLVM as a backend to JIT-compile Pure
-  programs to fast native code. Pure offers dynamic typing, eager and lazy
-  evaluation, lexical closures, a hygienic macro system (also based on
-  term rewriting), built-in list and matrix support (including list and
-  matrix comprehensions) and an easy-to-use interface to C and other
-  programming languages (including the ability to load LLVM bitcode
-  modules, and inline C, C++, Fortran and Faust code in Pure programs if
-  the corresponding LLVM-enabled compilers are installed).</p>
-  
-<p>Pure version 0.47 has been tested and is known to work with LLVM 3.0
-  (and continues to work with older LLVM releases &gt;= 2.5).</p>
-</div>
--->
-
-<!--=========================================================================-->
-<!--
 <h3 id="icedtea">IcedTea Java Virtual Machine Implementation</h3>
 
 <div>