diff options
| -rw-r--r-- | index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/index.html b/index.html index 155343ddc..4ec66fb69 100644 --- a/index.html +++ b/index.html @@ -32,6 +32,7 @@ December 2010 | <A HREF="doc/gf-people.html">People</A> | <A HREF="doc/gf-bibliography.html">Publications</A> | <A HREF="doc/gf-reference.html">QuickRefCard</A> +| <A HREF="doc/gf-shell-reference.html">GF Shell Reference</A> | <A HREF="doc/gf-lrec-2010.pdf">LibTutorial</A> | <A HREF="http://www.molto-project.eu">MOLTO</A> | <A HREF="http://school.grammaticalframework.org">SummerSchool</A> |