diff options
| author | hallgren <hallgren@chalmers.se> | 2010-05-26 11:46:25 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-05-26 11:46:25 +0000 |
| commit | 0d77f24f02b9435918d0e8d799e8a9226b882af5 (patch) | |
| tree | f1762671007685f5782d66234f3f4b36f463fae5 /src | |
| parent | 399f13f9e3f2a6603ba6bfe55da2cf106b37e8bc (diff) | |
Change server to http://www.grammaticalframework.org:41296
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html index 29321582a..19572b1cf 100644 --- a/src/runtime/javascript/minibar/phrasebook.html +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -6,8 +6,9 @@ <script type="text/JavaScript" src="minibar.js"></script> <script type="text/JavaScript"> var phrasebook_options={ - server: "http://localhost:41296", +// server: "http://localhost:41296", // server: "http://tournesol.cs.chalmers.se:41296", + server: "http://www.grammaticalframework.org:41296", grammar_list: ["Phrasebook.pgf"], delete_button_text: "Del" } |