summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-06-11 15:34:16 +0000
committerhallgren <hallgren@chalmers.se>2012-06-11 15:34:16 +0000
commit5db5c8a2035ce257c90022deaced7b17029474da (patch)
tree801f6884563dc52f4f88966b8c1e8d3843d862ad /index.html
parenta026b93ecb8a34a39656abdc57a34a08bf2bc79c (diff)
GF home page: link to GF clouds service (cloud.grammaticalframework.org)
Also some small cloud service documentation updates.
Diffstat (limited to 'index.html')
-rw-r--r--index.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/index.html b/index.html
index 7613accf2..86ba80b04 100644
--- a/index.html
+++ b/index.html
@@ -36,6 +36,7 @@ March 2012
| <A HREF="doc/gf-quickstart.html">QuickStart</A>
| <A HREF="http://groups.google.com/group/gf-dev">UserGroup</A>
| <A HREF="gf-book">Book</A><font size=-1 color=red><i>New!</i></font>
+| <a href="http://cloud.grammaticalframework.org/"><img src="src/www/P/gf-cloud.png" alt="GF Cloud Service" title="GF Cloud Service"></a>
]
</div>
<div class=extralinks>