summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-09-14 16:24:49 +0000
committerhallgren <hallgren@chalmers.se>2011-09-14 16:24:49 +0000
commit553474d9dc48f5ebd3dcceec7b8132e614ed23f6 (patch)
treef24aa650027cbbf22b748aa42c3fac9f425c10cc
parent8d05fa5cc7464935eef31a67bb05ef8a4fc3e292 (diff)
Adding a link to the GF shell reference manual on the GF home page
-rw-r--r--index.html1
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>