From 0bad98c78bc23e76463d76bef71c1fed64330a93 Mon Sep 17 00:00:00 2001
From: Bill Wendling <isanbard@gmail.com>
Date: Tue, 25 Oct 2011 20:39:06 +0000
Subject: [PATCH] Add mention of Pure to external OS projects.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@142965 91177308-0d34-0410-b5e6-96231b3b80d8
---
 docs/ReleaseNotes.html | 44 ++++++++++++++++++++----------------------
 1 file changed, 21 insertions(+), 23 deletions(-)

diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index 66a848eb7d5..8cb60bb30ca 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -335,6 +335,27 @@ object-oriented programming, operator overloading and strong typing.</p>
 
 </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>
 
@@ -389,29 +410,6 @@ bitcode with SystemC-specific information.</p>
 -->
 
 
-<!--=========================================================================-->
-<!--
-<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>