diff options
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 } |