GenIP, GenRP in Extra and any_Quant in ExtraEng

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
 }