diff options
| author | hallgren <hallgren@chalmers.se> | 2010-04-30 14:55:56 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-04-30 14:55:56 +0000 |
| commit | 329c39b4d4e90a517b1e19aaed7d4d1494e7d475 (patch) | |
| tree | 1bfb0f3b7535fefb4aff0e4176fde816afb435be /src/runtime/javascript/minibar/phrasebook.html | |
| parent | 593f104bc1852be9690d870153dc2ba251490040 (diff) | |
Merge phrasebook.js into minibar.js
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> + + + |