diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/index.html b/index.html index 050de9c31..824dfe23a 100644 --- a/index.html +++ b/index.html @@ -81,7 +81,7 @@ function sitesearch() { <li><a href="http://ci.zjyto.net/job/GF/job/Build/"><img src="http://ci.zjyto.net/job/GF/job/Build/badge/icon" alt="GF build status"></a> --> <li><a href="doc/gf-developers.html">GF Developers Guide</a> - <li><A HREF="https://github.com/GrammaticalFramework/GF/">GitHub mirror</A> + <li><A HREF="https://github.com/GrammaticalFramework/GF/">GF on GitHub</A> <li><A HREF="https://github.com/GrammaticalFramework/gf-contrib/">Contibutions GitHub</A> <li><A HREF="http://code.google.com/p/grammatical-framework/wiki/SideBar?tm=6">Wiki</A> <li><a href="/~hallgren/gf-experiment/browse/">Browse Source Code</a> @@ -120,6 +120,8 @@ document.write('<div style="float: right; margin-top: 3ex;"> <form onsubmit="re <div class=news2> <table class=news> +<tr><td>2016-08-11:<td><strong>GF 3.9 released!</strong> + <a href="download/release-3.9.html">Release notes</a>. <tr><td>2017-06-29:<td>GF is moving to <a href="https://github.com/GrammaticalFramework/GF/">GitHub</a>! <tr><td>2017-03-13:<td><strong>GF Summer School in Riga (Latvia), 14-25 August 2017</strong> <a href="http://school.grammaticalframework.org/2017/">Summer |