diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 7f7e9d318..f1525fa85 100644 --- a/index.html +++ b/index.html @@ -15,7 +15,7 @@ </P> <H1>Grammatical Framework</H1> <P> -Version 3.0 +Version 3.1 </P> <P> December 2009 |