From 848373e29e6d16db50b68e8835a474dd14b5ab9d Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 21 Jul 2011 08:25:04 +0000 Subject: GenIP, GenRP in Extra and any_Quant in ExtraEng --- src/runtime/javascript/minibar/phrasebook.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/runtime/javascript') 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 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 } -- cgit v1.2.3