diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
| commit | 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad (patch) | |
| tree | d51076a708997d6f1af6ac0deefd535bbc25f804 /src/runtime/javascript/minibar/example.html | |
| parent | 0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (diff) | |
Improvements of "gf -server" mode and related setup
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
Diffstat (limited to 'src/runtime/javascript/minibar/example.html')
| -rw-r--r-- | src/runtime/javascript/minibar/example.html | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/src/runtime/javascript/minibar/example.html b/src/runtime/javascript/minibar/example.html deleted file mode 100644 index 7d78a7ef6..000000000 --- a/src/runtime/javascript/minibar/example.html +++ /dev/null @@ -1,57 +0,0 @@ -<!DOCTYPE html> -<html> <head> -<title>PGF online server example</title> -<style type="text/css"> -body { background: #ddd; } -h1, h2, h3, small, th { font-family: sans-serif; } -div.modtime { float: right; } -.modtime { color: #666; white-space: nowrap; } -</style> -<script type="text/JavaScript" src="support.js"></script> -<script type="text/JavaScript" src="pgf_online.js"></script> -<script type="text/JavaScript"> - -var server_options={ - grammars_url: "http://www.grammaticalframework.org/grammars/", - grammar_list: ["Foods.pgf"] -} -var pgf_server = pgf_online(server_options); - -function call_server() { - pgf_server.parse({from:"FoodsEng",input:document.forms[0].input.value}, - show_output) -} - -function show_output(parsed) { - document.getElementById("output").innerHTML=parsed[0].trees[0] -} - -</script> - -</head> - -<body> -<h1>PGF online server example</h1> - -<form onsubmit="call_server(); return false"> -Input: -<input name=input size=50 value="this cheese is expensive"> -<input type=submit value=Parse> - -<p> -Output: -<span id=output></span> -</form> - - -<h2>Documentation</h2> -<ul> - <li><a href="gf-web-api-examples.html">GF Web API examples</a> -</ul> - -<hr> -<div class=modtime><small> -<!-- hhmts start --> Last modified: Wed Aug 3 16:52:51 CEST 2011 <!-- hhmts end --> - </small></div> -<address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address> -</body> </html> |