diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index dc71f5199d8..1f2e2684d6e 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -282,17 +282,17 @@ Release Notes.
Pure (http://pure-lang.googlecode.com/) 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).
+Pure 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).
Pure version 0.54 has been tested and is known to work with LLVM 3.1 (and continues to work with older LLVM releases >= 2.5).