</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 >= 2.5).</p>
+
+</div>
+
<!--=========================================================================-->
<h3>TTA-based Co-design Environment (TCE)</h3>
-->
-<!--=========================================================================-->
-<!--
-<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 >= 2.5).</p>
-</div>
--->
-
<!--=========================================================================-->
<!--
<h3 id="icedtea">IcedTea Java Virtual Machine Implementation</h3>