diff options
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index 61aa3a49c..ec3ab12ec 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -10,7 +10,9 @@ var phrasebook_options={ // server: "http://tournesol.cs.chalmers.se:41296", server: "http://www.grammaticalframework.org:41296", grammar_list: ["Phrasebook.pgf"], - delete_button_text: "Del" + delete_button_text: "Del", + help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html", + feedback_url: "feedback.html" } </script> <meta name = "viewport" content = "width = device-width"> @@ -18,20 +20,17 @@ var phrasebook_options={ <body onload="start_minibar(phrasebook_options)"> -<div id=minibar> -</div> +<div id=minibar></div> + <hr> <small> -Based on -<a href="http://www.cs.chalmers.se/~hallgren/minibar/minibar.html">minibar</a>, -powered by -<a href="http://www.grammaticalframework.org">GF</a>, -see -<a href="../phrasebook.html">doc</a>. +Powered by <a href="http://www.grammaticalframework.org">GF</a>, +see <a href="http://www.grammaticalframework.org/examples/phrasebook/doc-phrasebook.html">doc</a>. + +</small> - </body> </html> |