diff options
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index 9a8649d2b..78f5c353f 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -1,13 +1,9 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<!DOCTYPE html> <html> <head> -<meta http-equiv="Content-type" content="text/html;charset=UTF-8"> -<meta charset="UTF-8"> <title>Phrasebook</title> <link rel=stylesheet type="text/css" href="minibar.css"> -<script type="text/JavaScript" src="support.js"></script> -<script type="text/JavaScript" src="pgf_online.js"></script> -<script type="text/JavaScript" src="minibar.js"></script> +<meta charset="UTF-8"> <meta name = "viewport" content = "width = device-width"> </head> @@ -24,13 +20,20 @@ see <a href="http://www.grammaticalframework.org/examples/phrasebook/doc-phraseb </small> +<script type="text/JavaScript" src="support.js"></script> +<script type="text/JavaScript" src="minibar.js"></script> +<script type="text/JavaScript" src="minibar_input.js"></script> +<script type="text/JavaScript" src="minibar_translations.js"></script> +<script type="text/JavaScript" src="minibar_support.js"></script> +<script type="text/JavaScript" src="pgf_online.js"></script> + <script type="text/JavaScript"> var online_options={ // grammars_url: "http://www.grammaticalframework.org/grammars/", //grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars", -grammars_url: "http://localhost:41296/grammars/", - grammar_list: ["Phrasebook.pgf"], // leave undefined to get list from server +//grammars_url: "http://localhost:41296/grammars/", + grammar_list: ["Phrasebook.pgf"] // leave undefined to get list from server } var server=pgf_online(online_options); |