diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/index.html b/index.html index 82f473353..93e43ec52 100644 --- a/index.html +++ b/index.html @@ -25,9 +25,9 @@ document.write('<div style="text-align: right"> <form onsubmit="return sitesear <img class=grow src="doc/Logos/gf0.png" alt=""> <H1>Grammatical Framework</H1> <P> -Version 3.4 +Version 3.5 <br> -January 2013 +August 2013 <P> <div class=mainlinks style="font-size: 140%"> @@ -67,6 +67,8 @@ January 2013 <div class=news2> <table class=news> +<tr><td>2013-08-06:<td><strong>GF 3.5 released!</strong> + <a href="download/release-3.5.html">Release notes</a>. <tr><td>2013-07-26:<td>Started a page with <A HREF="lib/doc/rgl-publications.html">RGL Documentation and Publications</A>. <tr><td>2013-06-24:<td>We are now running the IRC channel <strong><code>#gf</code></strong> on the Freenode network. <tr><td>2013-06-19:<td>New resource grammar language: Maltese. |