summaryrefslogtreecommitdiff
path: root/examples/fracas/prefix.html
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
commitf5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch)
tree946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/fracas/prefix.html
parent8e1c6cca407c82fc09569d80c231b8d256735989 (diff)
Remove contribs and examples
Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/fracas/prefix.html')
-rw-r--r--examples/fracas/prefix.html42
1 files changed, 0 insertions, 42 deletions
diff --git a/examples/fracas/prefix.html b/examples/fracas/prefix.html
deleted file mode 100644
index 87e172a15..000000000
--- a/examples/fracas/prefix.html
+++ /dev/null
@@ -1,42 +0,0 @@
-<!DOCTYPE html>
-<html> <head>
-<meta charset="UTF-8">
-<link rel=stylesheet type="text/css" href="../gfse/editor.css">
-<title>FraCaS treebank visualization</title>
-<style>
-.OnlyEng .FraCaSSwe, .OnlySwe .FraCaSEng { display: none; }
-dt { margin-top: 2ex; margin-bottom: 1ex; }
-dt { margin-left: 3em; text-indent: -3em; }
-dd:before { content: "— "; margin-left: 0; padding-left: 0; }
-dd { margin-left: 3.5em; text-indent: -2.5em; }
-</style>
-<script>
-function swap_img(img,newsrc) {
- if(img.origsrc) {
- img.src=img.origsrc
- img.origsrc=null
- }
- else {
- img.origsrc=img.src
- img.src=newsrc
- }
-}
-
-function vt(img,abs) {
- swap_img(img,"FraCaS.pgf?command=abstrtree&tree="+encodeURIComponent(abs))
-}
-
-function vp(img,lang,abs) {
- swap_img(img,"FraCaS.pgf?command=parsetree&from="+lang+"&tree="+encodeURIComponent(abs))
-}
-</script>
-</head>
-
-<body>
-<h1>FraCaS treebank visualization</h1>
-Languages:
-<select onchange="document.body.className=this.value">
- <option value="">English and Swedish</option>
- <option value="OnlyEng">Only English</option>
- <option value="OnlySwe">Only Swedish</option>
-</select>