forked from GitHub/gf-core
Change server to http://www.grammaticalframework.org:41296
This commit is contained in:
@@ -6,8 +6,9 @@
|
|||||||
<script type="text/JavaScript" src="minibar.js"></script>
|
<script type="text/JavaScript" src="minibar.js"></script>
|
||||||
<script type="text/JavaScript">
|
<script type="text/JavaScript">
|
||||||
var phrasebook_options={
|
var phrasebook_options={
|
||||||
server: "http://localhost:41296",
|
// server: "http://localhost:41296",
|
||||||
// server: "http://tournesol.cs.chalmers.se:41296",
|
// server: "http://tournesol.cs.chalmers.se:41296",
|
||||||
|
server: "http://www.grammaticalframework.org:41296",
|
||||||
grammar_list: ["Phrasebook.pgf"],
|
grammar_list: ["Phrasebook.pgf"],
|
||||||
delete_button_text: "Del"
|
delete_button_text: "Del"
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user