diff options
Diffstat (limited to 'src/www/translator/index.html')
| -rw-r--r-- | src/www/translator/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/www/translator/index.html b/src/www/translator/index.html index 97eeb22d7..999f6d9c6 100644 --- a/src/www/translator/index.html +++ b/src/www/translator/index.html @@ -61,7 +61,7 @@ <tr><td><span onclick="">Default translation method</span> <dl id=methods> <dt><label><input name=method value=Manual type=radio onchange="translator.change(this)">Manual</label> - <dt><label><input name=method value=GFRobust type=radio onchange="translator.change(this)">GF Robust Parser</label> + <dt><label><input name=method value=GFRobust type=radio onchange="translator.change(this)">GF Wide Coverage Translation</label> </dl> </table> <dt><label><input name=cloud type=checkbox onchange="translator.change(this)"> Save in the cloud</label> @@ -78,14 +78,14 @@ </div> <hr> <div class=modtime><small>HMTL -<!-- hhmts start -->Last modified: Fri Apr 12 17:03:43 CEST 2013 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Tue Jan 21 16:54:12 CET 2014 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <script type="text/JavaScript" src="../js/grammar_manager.js"></script> <script type="text/javascript" src="../js/support.js"></script> <script type="text/javascript" src="../js/pgf_online.js"></script> -<script type="text/javascript" src="../js/gfrobust.js"></script> +<script type="text/javascript" src="../js/gftranslate.js"></script> <script type="text/javascript" src="../js/localstorage.js"></script> <script type="text/javascript" src="../gfse/localstorage.js"></script> <script type="text/javascript" src="../gfse/cloud2.js"></script> |