summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2015-11-27 09:56:49 +0000
committerhallgren <hallgren@chalmers.se>2015-11-27 09:56:49 +0000
commit724b8aa8aec953162465c618ca37d0509cfab8e5 (patch)
treea11b61c8907a89a59fb06089965012ee451e3fdb /src
parent008ca97428f55e5535dcad1266fd1396c1a9051b (diff)
Wide coverage translation demo: updated to use App15.pgf
Diffstat (limited to 'src')
-rw-r--r--src/www/js/gftranslate.js2
-rw-r--r--src/www/wc.html4
2 files changed, 4 insertions, 2 deletions
diff --git a/src/www/js/gftranslate.js b/src/www/js/gftranslate.js
index d60984171..337334c48 100644
--- a/src/www/js/gftranslate.js
+++ b/src/www/js/gftranslate.js
@@ -3,7 +3,7 @@
var gftranslate = {}
-gftranslate.jsonurl="/robust/App14.pgf"
+gftranslate.jsonurl="/robust/App15.pgf"
gftranslate.grammar="App" // the name of the grammar
gftranslate.documented_classes=
diff --git a/src/www/wc.html b/src/www/wc.html
index e2ed961bf..8ea8e9eaf 100644
--- a/src/www/wc.html
+++ b/src/www/wc.html
@@ -53,6 +53,7 @@ span.inflect { color: blue; }
<option value=Chi>Chinese</option>
<option value=Dut>Dutch</option>
<option value=Eng selected>English</option>
+ <option value=Est>Estonian</option>
<option value=Fin>Finnish</option>
<option value=Fre>French</option>
<option value=Ger>German</option>
@@ -73,6 +74,7 @@ span.inflect { color: blue; }
<option value=Chi>Chinese</option>
<option value=Dut>Dutch</option>
<option value=Eng>English</option>
+ <option value=Est>Estonian</option>
<option value=Fin>Finnish</option>
<option value=Fre>French</option>
<option value=Ger>German</option>
@@ -107,7 +109,7 @@ span.inflect { color: blue; }
</div>
<hr>
<div class=modtime><small>
-<!-- hhmts start -->Last modified: Wed Sep 2 16:12:49 CEST 2015 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Fri Nov 27 10:47:46 CET 2015 <!-- hhmts end -->
</small></div>
<a href="http://www.grammaticalframework.org/demos/translation.html">About</a>
<script src="js/support.js"></script>