preparations for 0.9.0

4 files changed, 32 insertions, 12 deletions

diff --git a/web/download.txt b/web/download.txt
index c0c11b708..e562b26b0 100755
--- a/web/download.txt
+++ b/web/download.txt
@@ -3,8 +3,8 @@
 
 Here you can download the latest version of the Nimrod Compiler.
 Please choose your platform:
-* source-based installation: `<download/nimrod_0.8.14.zip>`_
-* installer for Windows XP/Vista/7 (i386, 32bit): `<download/nimrod_0.8.14.exe>`_
+* source-based installation: `<download/nimrod_0.9.0.zip>`_
+* installer for Windows XP/Vista/7 (i386, 32bit): `<download/nimrod_0.9.0.exe>`_
   (includes GCC and everything else you need)
 
 The source-based installation has been tested on these systems:
diff --git a/web/index.txt b/web/index.txt
index 494e6a8f7..26725ffe9 100755
--- a/web/index.txt
+++ b/web/index.txt
@@ -97,19 +97,21 @@ Nimrod plays nice with others
   libcurl, mySQL and SQLite are included in the standard distribution.
 * A C to Nimrod conversion utility: New bindings to C libraries are easily 
   generated by ``c2nim``.
-  
+
 
 Roadmap to 1.0
 ==============
 
+Version 0.9.2
+  * overloading based on ASTs (like already possible for term rewriting macros)
+  * better interaction between macros, templates and overloading
+  * the effect system will be extended
+  * the symbol binding rules for generics and templates may change again
+
 Version 0.9.x
   * first class iterators
-  * 2-phase type system for better interaction between macros, templates
-    and overloading
+  * message passing performance will be greatly improved
   * the syntactic distinction between statements and expressions will be
     removed
-  * the binding rules for generics and templates will change
   * exception tracking
-  * the effect system will be extended
   * the need for forward declarations may be removed
-
diff --git a/web/news.txt b/web/news.txt
index 6d660579d..fb133b6fe 100755
--- a/web/news.txt
+++ b/web/news.txt
@@ -2,10 +2,22 @@
 News
 ====
 
-2012-XX-XX Version 0.8.XX released
-==================================
+2012-09-23 Version 0.9.0 released
+=================================
+
+Version 0.9.0 has been released! Get it `here <download.html>`_. 
+
+Summary
+-------
+
+* Unsigned integers have been added.
+* The integer type promotion rules changed.
+* The template and macro system evolved.
+* Closures have been implemented.
+* Term rewriting macros have been implemented.
+* First steps to unify expressions and statements have been taken.
+* Symbol lookup rules in generics have become stricter to catch more errors.
 
-Version 0.8.XX has been released! Get it `here <download.html>`_. 
 
 Bugfixes
 --------
@@ -113,6 +125,7 @@ Changes affecting backwards compatibility
   from ``TObject``.
 - Macros now receive parameters like templates do; use the ``callsite`` builtin
   to gain access to the invocation AST.
+- Symbol lookup rules in generics have become stricter to catch more errors.
 
 
 Compiler Additions
@@ -167,6 +180,8 @@ Language Additions
   the current scope.
 - A proc body can consist of an expression that has a type. This is rewritten
   to ``result = expression`` then.
+- Term rewriting macros (see `trmacros <http://nimrod-code.org/trmacros.html>`_)
+  have been implemented but are still in alpha.
 
 
 2012-02-09 Version 0.8.14 released
diff --git a/web/ticker.txt b/web/ticker.txt
index e75a11497..2e0e5722b 100755
--- a/web/ticker.txt
+++ b/web/ticker.txt
@@ -1,6 +1,9 @@
+| `2012-09-23`:newsdate:
+| Nimrod version 0.9.0 has been released!
+  Get it `here <./download.html>`_.
+
 | `2012-02-09`:newsdate:
 | Nimrod version 0.8.14 has been released!
-  Get it `here <./download.html>`_.
 
 | `2011-07-10`:newsdate:
 | Nimrod version 0.8.12 has been released!