diff options
| author | hallgren <hallgren@chalmers.se> | 2012-09-28 14:27:18 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-09-28 14:27:18 +0000 |
| commit | 999d02eb30440d61db9125ea6ae8f8c3c4044470 (patch) | |
| tree | 01904afc9c9f26d3f03203b746fe4cd82d3bb863 /src/www/index.html | |
| parent | 86d17827ee8f04e4f9e7ac63017ef2ad3105b222 (diff) | |
gfse & cloud improvements
+ Added "Symbolic" to the list of resource modules that can be opened.
+ Clicking on the name of an opened resource module now displays the list
operations it provides. (Implemented using show_operations in the GF shell.)
+ Added a GF version info link to the cloud service start page.
Diffstat (limited to 'src/www/index.html')
| -rw-r--r-- | src/www/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/www/index.html b/src/www/index.html index d5a18b51c..df50c4dbe 100644 --- a/src/www/index.html +++ b/src/www/index.html @@ -33,3 +33,4 @@ <hr> <a href="http://www.grammaticalframework.org/">www.grammaticalframework.org</a> +<div class=modtime><small><a href="/version">GF version</a></small></div>
\ No newline at end of file |