diff options
| author | aarne <aarne@chalmers.se> | 2011-07-21 08:25:04 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-07-21 08:25:04 +0000 |
| commit | 848373e29e6d16db50b68e8835a474dd14b5ab9d (patch) | |
| tree | 9d53226ea5ab2d62fd3500f8e475db9685c48d7b /src/runtime/javascript | |
| parent | 29e40b92e149abd3f187f9fae00d5a5580000474 (diff) | |
GenIP, GenRP in Extra and any_Quant in ExtraEng
Diffstat (limited to 'src/runtime/javascript')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index 1bd45857d..9a8649d2b 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -27,9 +27,9 @@ see <a href="http://www.grammaticalframework.org/examples/phrasebook/doc-phraseb <script type="text/JavaScript"> var online_options={ - grammars_url: "http://www.grammaticalframework.org/grammars/", + // grammars_url: "http://www.grammaticalframework.org/grammars/", //grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars", -//grammars_url: "http://localhost:41296/grammars", +grammars_url: "http://localhost:41296/grammars/", grammar_list: ["Phrasebook.pgf"], // leave undefined to get list from server } |