diff options
| author | hallgren <hallgren@chalmers.se> | 2016-06-16 15:09:45 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2016-06-16 15:09:45 +0000 |
| commit | c49b920ecfbdfab2c04a1b44139291b7335fcaac (patch) | |
| tree | 646f0825eb08622d68033549d1d2f40a927860f5 /src/www/gf-web-api-examples.html | |
| parent | e608a63f808cd062a2485dbd3aea157f014d3582 (diff) | |
A few documentation updates
gf.cabal: include more GHC versions in the Tested-Width field.
Diffstat (limited to 'src/www/gf-web-api-examples.html')
| -rw-r--r-- | src/www/gf-web-api-examples.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/www/gf-web-api-examples.html b/src/www/gf-web-api-examples.html index 204a48a9d..736fd85be 100644 --- a/src/www/gf-web-api-examples.html +++ b/src/www/gf-web-api-examples.html @@ -43,7 +43,7 @@ availiable in the GF shell is also available via the GF web services API. <p> The -<a href="http://code.google.com/p/grammatical-framework/wiki/GFWebServiceAPI">GF +<a href="gf-web-api.html">GF Web Service API page</a> describes the calls supported by the GF web service API. Below, we illustrate these calls by examples, and also show how to make these calls from JavaScript using the API defined in @@ -178,6 +178,6 @@ full API. </dl> <hr> <div class=modtime><small> -<!-- hhmts start -->Last modified: Sat Jun 21 14:57:43 CEST 2014 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Thu Jun 16 17:08:04 CEST 2016 <!-- hhmts end --> </small></div> <address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address> |