packages feed

gf-3.2: src/runtime/javascript/minibar/phrasebook.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> 
<html>
<head> 
<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
<meta charset="UTF-8">
<title>Phrasebook</title> 
<link rel=stylesheet type="text/css" href="minibar.css"> 
<script type="text/JavaScript" src="support.js"></script> 
<script type="text/JavaScript" src="pgf_online.js"></script>
<script type="text/JavaScript" src="minibar.js"></script>
<meta name = "viewport" content = "width = device-width">
</head>
 
<body> 

<div id=minibar></div> 

<hr> 
 
<small> 

Powered by <a href="http://www.grammaticalframework.org/">GF</a>,
see <a href="http://www.grammaticalframework.org/examples/phrasebook/doc-phrasebook.html">doc</a>.

</small>

<script type="text/JavaScript">

var online_options={
  grammars_url: "http://www.grammaticalframework.org/grammars/",
//grammars_url: "http://tournesol.cs.chalmers.se:41296/grammars",
//grammars_url: "http://localhost:41296/grammars",
  grammar_list: ["Phrasebook.pgf"], // leave undefined to get list from server
}

var server=pgf_online(online_options);

var phrasebook_options={
  delete_button_text: "Del",
  help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html",
  feedback_url: "feedback.html",
  default_source_language: "Eng"
}

start_minibar(server,phrasebook_options)
</script>

</body> 
 
</html>