diff options
Diffstat (limited to 'src/runtime/javascript/minibar/phrasebook.html')
| -rw-r--r-- | src/runtime/javascript/minibar/phrasebook.html | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/src/runtime/javascript/minibar/phrasebook.html b/src/runtime/javascript/minibar/phrasebook.html new file mode 100644 index 000000000..a331dc112 --- /dev/null +++ b/src/runtime/javascript/minibar/phrasebook.html @@ -0,0 +1,37 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<html> <head> +<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="minibar.js"></script> +<script type="text/JavaScript"> +var phrasebook_options={ + server: "http://tournesol.cs.chalmers.se:41296", + grammar_list: ["Phrasebook.pgf"], + delete_button_text: "Del" +} +</script> +</head> + +<body onload="start_minibar(phrasebook_options)"> + +<div id=minibar> +</div> +<hr> + +<small> + +Based on +<a href="http://www.cs.chalmers.se/~hallgren/minibar/minibar.html">minibar</a>, +powered by +<a href="http://www.grammaticalframework.org">GF</a>, +see +<a href="../phrasebook.html">doc</a>. + + +</body> + +</html> + + + |