diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
| commit | 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad (patch) | |
| tree | d51076a708997d6f1af6ac0deefd535bbc25f804 /src/runtime/javascript/minibar/phrasebook.html | |
| parent | 0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (diff) | |
Improvements of "gf -server" mode and related setup
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html deleted file mode 100644 index 78f5c353f..000000000 --- a/src/runtime/javascript/minibar/phrasebook.html +++ /dev/null @@ -1,56 +0,0 @@ -<!DOCTYPE html> -<html> -<head> -<title>Phrasebook</title> -<link rel=stylesheet type="text/css" href="minibar.css"> -<meta charset="UTF-8"> -<meta name = "viewport" content = "width = device-width"> -</head> - -<body> - -<div id=minibar></div> - -<hr> - -<small> - -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> - -<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 -} - -var server=pgf_online(online_options); - -var phrasebook_options={ - delete_button_text: "Del", - help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html", - feedback_url: "feedback.html", - default_source_language: "Eng" -} - -start_minibar(server,phrasebook_options) -</script> - -</body> - -</html> - - - |