diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/index.html b/index.html index d690b50de..d607b61d7 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,7 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML> <HEAD> +<TITLE>GF - Grammatical Framework</TITLE> <META NAME="generator" CONTENT="http://txt2tags.sf.net"> </HEAD><BODY BGCOLOR="white" TEXT="black"> <FONT SIZE="4"> |
