diff options
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 403f6a59e..57bb6c3f2 100644 --- a/index.html +++ b/index.html @@ -15,7 +15,7 @@ </P> <H1>Grammatical Framework</H1> <P> -Version 3.1 +Version 3.0 </P> <P> December 2009 |