summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--src/www/gfse/index.html6
-rw-r--r--src/www/gfse/share.html4
-rw-r--r--src/www/js/pgf_online.js (renamed from src/www/minibar/pgf_online.js)0
-rw-r--r--src/www/js/support.js (renamed from src/www/minibar/support.js)0
-rw-r--r--src/www/minibar/about.html12
-rw-r--r--src/www/minibar/example.html6
-rw-r--r--src/www/minibar/feedback.html2
-rw-r--r--src/www/minibar/gf-web-api-examples.html4
-rw-r--r--src/www/minibar/minibar-api.html14
-rw-r--r--src/www/minibar/minibar.html6
-rw-r--r--src/www/minibar/minibar_offline.html4
-rw-r--r--src/www/minibar/phrasebook.html4
-rw-r--r--src/www/minibar/saldotest.html4
-rw-r--r--src/www/translator/index.html6
14 files changed, 36 insertions, 36 deletions
diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html
index 3b3543c2a..c607b4374 100644
--- a/src/www/gfse/index.html
+++ b/src/www/gfse/index.html
@@ -33,12 +33,12 @@ This page does not work without JavaScript.
<hr>
<div class=modtime><small>
HTML
-<!-- hhmts start -->Last modified: Wed Oct 3 23:44:31 CEST 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Nov 20 13:39:47 CET 2012 <!-- hhmts end -->
</small></div>
<a href="about.html">About</a>
<pre id=debug></pre>
<script type="text/javascript" src="config.js"></script> <!-- optional -->
-<script type="text/javascript" src="../minibar/support.js"></script>
+<script type="text/javascript" src="../js/support.js"></script>
<script type="text/javascript" src="localstorage.js"></script>
<script type="text/javascript" src="gf_abs.js"></script>
<script type="text/javascript" src="example_based.js"></script>
@@ -49,6 +49,6 @@ HTML
<script type="text/JavaScript" src="../minibar/minibar_input.js"></script>
<script type="text/JavaScript" src="../minibar/minibar_translations.js"></script>
<script type="text/JavaScript" src="../minibar/minibar_support.js"></script>
-<script type="text/JavaScript" src="../minibar/pgf_online.js"></script>
+<script type="text/JavaScript" src="../js/pgf_online.js"></script>
</body>
</html>
diff --git a/src/www/gfse/share.html b/src/www/gfse/share.html
index 54dcdb3e0..ff92d2f73 100644
--- a/src/www/gfse/share.html
+++ b/src/www/gfse/share.html
@@ -13,8 +13,8 @@
<hr>
<address></address>
-<!-- hhmts start --> Last modified: Mon Feb 13 19:03:32 CET 2012 <!-- hhmts end -->
-<script type="text/javascript" src="../minibar/support.js"></script>
+<!-- hhmts start -->Last modified: Tue Nov 20 13:39:57 CET 2012 <!-- hhmts end -->
+<script type="text/javascript" src="../js/support.js"></script>
<script type="text/javascript" src="localstorage.js"></script>
<script type="text/javascript" src="gf_abs.js"></script>
<script type="text/javascript" src="editor.js"></script>
diff --git a/src/www/minibar/pgf_online.js b/src/www/js/pgf_online.js
index 6fe23b13e..6fe23b13e 100644
--- a/src/www/minibar/pgf_online.js
+++ b/src/www/js/pgf_online.js
diff --git a/src/www/minibar/support.js b/src/www/js/support.js
index e82f4fc9c..e82f4fc9c 100644
--- a/src/www/minibar/support.js
+++ b/src/www/js/support.js
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html
index 3325d2ed9..9ba25895c 100644
--- a/src/www/minibar/about.html
+++ b/src/www/minibar/about.html
@@ -34,7 +34,7 @@ Some implementation details:
(there are both styling and scripting issues).
There seems to be some rendering bugs in Chrome 5.0.342.9 β.
<li>The implementation consist of two JavaScript files:
- <a href="minibar.js">minibar.js</a> and <a href="support.js">support.js</a>
+ <a href="minibar.js">minibar.js</a> and <a href="../js/support.js">support.js</a>
The latter is also used in
<a href="http://spraakbanken.gu.se/swe/forskning/saldo/ordspel">a couple of
small web apps</a> based on the
@@ -127,12 +127,12 @@ Some implementation details:
<li>[Added 2010-10-27] Code restructuring:
<ul>
<li>The PGF server API has been moved to its own file:
- <a href="pgf_online.js">pgf_online.js</a>. This
+ <a href="../js/pgf_online.js">pgf_online.js</a>. This
allows it to be reused in other applicaitons without importing the entire
minibar. It also allows minibar to be used with different server
interfaces. <a href="minibar.html">minibar.html</a> has been updated to
show how you use the new <a href="minibar.js">minibar.js</a> and
- <a href="pgf_online.js">pgf_online.js</a>.
+ <a href="../js/pgf_online.js">pgf_online.js</a>.
<li>The minibar code has been rewritten to avoid storing state information
in the document tree and accessing it by referring to named document
elements. The code now also avoids using string literals containing
@@ -144,9 +144,9 @@ Some implementation details:
<ul>
<li><a href="gf-web-api-examples.html">gf-web-api-examples.html</a>:
examples illustrating the PGF server API provided by
- <a href="pgf_online.js">pgf_online.js</a>.
+ <a href="../js/pgf_online.js">pgf_online.js</a>.
<li><a href="example.html">example.html</a>: a minimal example of a web
- page that uses <a href="pgf_online.js">pgf_online.js</a> to talk to the
+ page that uses <a href="../js/pgf_online.js">pgf_online.js</a> to talk to the
PGF server.
</ul>
<li>[Added 2011-03-03] Added a button to display word alignment.
@@ -217,7 +217,7 @@ Some implementation details:
<hr>
<div class=modtime><small>
-<!-- hhmts start -->Last modified: Mon Sep 10 00:50:08 CEST 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Nov 20 13:41:21 CET 2012 <!-- hhmts end -->
</small></div>
<address>
<a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
diff --git a/src/www/minibar/example.html b/src/www/minibar/example.html
index 7d78a7ef6..5e7814b28 100644
--- a/src/www/minibar/example.html
+++ b/src/www/minibar/example.html
@@ -7,8 +7,8 @@ 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" src="../js/support.js"></script>
+<script type="text/JavaScript" src="../js/pgf_online.js"></script>
<script type="text/JavaScript">
var server_options={
@@ -51,7 +51,7 @@ Output:
<hr>
<div class=modtime><small>
-<!-- hhmts start --> Last modified: Wed Aug 3 16:52:51 CEST 2011 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Nov 20 13:42:21 CET 2012 <!-- hhmts end -->
</small></div>
<address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address>
</body> </html>
diff --git a/src/www/minibar/feedback.html b/src/www/minibar/feedback.html
index 401863fe3..c45aaef09 100644
--- a/src/www/minibar/feedback.html
+++ b/src/www/minibar/feedback.html
@@ -2,7 +2,7 @@
<html> <head>
<title>Feedback</title>
<link rel=stylesheet type="text/css" href="minibar.css">
-<script type="text/JavaScript" src="support.js"></script>
+<script type="text/JavaScript" src="../js/support.js"></script>
<script type="text/JavaScript" src="minibar_support.js"></script>
<script type="text/JavaScript" src="minibar.js"></script>
<meta name = "viewport" content = "width = device-width">
diff --git a/src/www/minibar/gf-web-api-examples.html b/src/www/minibar/gf-web-api-examples.html
index d2ddc6fc9..516e823ad 100644
--- a/src/www/minibar/gf-web-api-examples.html
+++ b/src/www/minibar/gf-web-api-examples.html
@@ -47,7 +47,7 @@ The
Web Service API page</a> describes the calls supported by the GF web service
API. Below, we illustrate these calls by examples, and also show
how to make these calls from JavaScript using the API defined in
-<a href="pgf_online.js"><code>pgf_online.js</code></a>.
+<a href="../js/pgf_online.js"><code>pgf_online.js</code></a>.
<p>
<strong>Note</strong> that <code>pgf_online.js</code> was initially developed
@@ -174,6 +174,6 @@ full API.
</dl>
<hr>
<div class=modtime><small>
-<!-- hhmts start -->Last modified: Sat Nov 17 18:40:55 CET 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Nov 20 13:54:42 CET 2012 <!-- hhmts end -->
</small></div>
<address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address>
diff --git a/src/www/minibar/minibar-api.html b/src/www/minibar/minibar-api.html
index d65d92652..505c5155a 100644
--- a/src/www/minibar/minibar-api.html
+++ b/src/www/minibar/minibar-api.html
@@ -46,7 +46,7 @@ This object implements the complete Minibar web app. It is defined in
<a href="minibar.js">minibar.js</a>. It also uses the <code>Input</code>
and <code>Translations</code> objects described below, and some auxiliary
functions defined in <a href="minibar_support.js">minibar_support.js</a>
-and <a href="support.js">support.js</a>, so to use it in an
+and <a href="../js/support.js">support.js</a>, so to use it in an
HTML file, you would normally include at least the following:
<blockquote><pre>
@@ -54,7 +54,7 @@ HTML file, you would normally include at least the following:
&lt;script type="text/JavaScript" src="minibar_input.js">&lt;/script>
&lt;script type="text/JavaScript" src="minibar_translations.js">&lt;/script>
&lt;script type="text/JavaScript" src="minibar_support.js">&lt;/script>
-&lt;script type="text/JavaScript" src="support.js">&lt;/script>
+&lt;script type="text/JavaScript" src="../js/support.js">&lt;/script>
</pre></blockquote>
<p>
@@ -111,13 +111,13 @@ It is defined in
<a href="minibar_input.js">minibar_input.js</a>.
It also uses some auxiliary functions defined
in <a href="minibar_support.js">minibar_support.js</a>
-and <a href="support.js">support.js</a>, so to use it in an
+and <a href="../js/support.js">support.js</a>, so to use it in an
HTML file, you would normally include at least the following:
<blockquote><pre>
&lt;script type="text/JavaScript" src="minibar_input.js">&lt;/script>
&lt;script type="text/JavaScript" src="minibar_support.js">&lt;/script>
-&lt;script type="text/JavaScript" src="support.js">&lt;/script>
+&lt;script type="text/JavaScript" src="../js/support.js">&lt;/script>
</pre></blockquote>
<h3>Constructor</h3>
@@ -188,13 +188,13 @@ This object displays translations. It is defined in
<a href="minibar_translations.js">minibar_translations.js</a>.
It also uses some auxiliary functions defined
in <a href="minibar_support.js">minibar_support.js</a>
-and <a href="support.js">support.js</a>, so to use it in an
+and <a href="../js/support.js">support.js</a>, so to use it in an
HTML file, you would normally include at least the following:
<blockquote><pre>
&lt;script type="text/JavaScript" src="minibar_translations.js">&lt;/script>
&lt;script type="text/JavaScript" src="minibar_support.js">&lt;/script>
-&lt;script type="text/JavaScript" src="support.js">&lt;/script>
+&lt;script type="text/JavaScript" src="../js/support.js">&lt;/script>
</pre></blockquote>
<h3>Constructor</h3>
@@ -249,7 +249,7 @@ the user interface:
<hr>
<div class=modtime>
<small class=modtime>
-HTML <!-- hhmts start -->Last modified: Sun Sep 30 17:33:51 CEST 2012 <!-- hhmts end -->
+HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:44:11 CET 2012 <!-- hhmts end -->
</small>
</div>
diff --git a/src/www/minibar/minibar.html b/src/www/minibar/minibar.html
index 06938a4b8..df5bfba3a 100644
--- a/src/www/minibar/minibar.html
+++ b/src/www/minibar/minibar.html
@@ -25,16 +25,16 @@
&amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
</small>
<small class=modtime>
-HTML <!-- hhmts start --> Last modified: Fri Apr 27 15:53:46 CEST 2012 <!-- hhmts end -->
+HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:38:35 CET 2012 <!-- hhmts end -->
</small>
<address>
-<script type="text/JavaScript" src="support.js"></script>
+<script type="text/JavaScript" src="../js/support.js"></script>
<script type="text/JavaScript" src="minibar.js"></script>
<script type="text/JavaScript" src="minibar_input.js"></script>
<script type="text/JavaScript" src="minibar_translations.js"></script>
<script type="text/JavaScript" src="minibar_support.js"></script>
-<script type="text/JavaScript" src="pgf_online.js"></script>
+<script type="text/JavaScript" src="../js/pgf_online.js"></script>
<script type="text/javascript" src="minibar_online.js"></script>
<script type="text/javascript" src="../gfse/gf_abs.js"></script>
diff --git a/src/www/minibar/minibar_offline.html b/src/www/minibar/minibar_offline.html
index 6947c2844..8279c77cf 100644
--- a/src/www/minibar/minibar_offline.html
+++ b/src/www/minibar/minibar_offline.html
@@ -43,7 +43,7 @@ even when you are offline.
| <a href="minibar.html">Minibar online</a>]
</small>
<small class=modtime>
-HTML <!-- hhmts start --> Last modified: Mon Apr 30 16:01:32 CEST 2012 <!-- hhmts end -->
+HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:45:07 CET 2012 <!-- hhmts end -->
</small>
<address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address>
@@ -56,7 +56,7 @@ HTML <!-- hhmts start --> Last modified: Mon Apr 30 16:01:32 CEST 2012 <!-- hhmt
<script type="text/JavaScript" src="http://www.grammaticalframework.org/~hallgren/hs2js/test/Services.js"></script>
<script type="text/javascript" src="http://www.grammaticalframework.org/~hallgren/hs2js/test/visadolj.js"></script>
-<script type="text/JavaScript" src="support.js"></script>
+<script type="text/JavaScript" src="../js/support.js"></script>
<script type="text/JavaScript" src="minibar.js"></script>
<script type="text/JavaScript" src="minibar_input.js"></script>
<script type="text/JavaScript" src="minibar_translations.js"></script>
diff --git a/src/www/minibar/phrasebook.html b/src/www/minibar/phrasebook.html
index 78f5c353f..2050b689e 100644
--- a/src/www/minibar/phrasebook.html
+++ b/src/www/minibar/phrasebook.html
@@ -20,12 +20,12 @@ see <a href="http://www.grammaticalframework.org/examples/phrasebook/doc-phraseb
</small>
-<script type="text/JavaScript" src="support.js"></script>
+<script type="text/JavaScript" src="../js/support.js"></script>
<script type="text/JavaScript" src="minibar.js"></script>
<script type="text/JavaScript" src="minibar_input.js"></script>
<script type="text/JavaScript" src="minibar_translations.js"></script>
<script type="text/JavaScript" src="minibar_support.js"></script>
-<script type="text/JavaScript" src="pgf_online.js"></script>
+<script type="text/JavaScript" src="../js/pgf_online.js"></script>
<script type="text/JavaScript">
diff --git a/src/www/minibar/saldotest.html b/src/www/minibar/saldotest.html
index 179c42e4d..24f72da39 100644
--- a/src/www/minibar/saldotest.html
+++ b/src/www/minibar/saldotest.html
@@ -2,7 +2,7 @@
<html> <head>
<title>Saldotest</title>
<link rel=stylesheet type="text/css" href="minibar.css">
-<script type="text/JavaScript" src="support.js"></script>
+<script type="text/JavaScript" src="../js/support.js"></script>
<script type="text/JavaScript" src="saldotest.js"></script>
<meta name = "viewport" content = "width = device-width">
</head>
@@ -22,7 +22,7 @@
[Baserad på <a href="http://spraakbanken.gu.se/sal/ws/">SALDOs nättjänster</a>]
</small>
<small class=modtime>
-HTML <!-- hhmts start --> Last modified: Thu May 27 14:02:42 CEST 2010 <!-- hhmts end -->
+HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:47:13 CET 2012 <!-- hhmts end -->
</small>
<address>TH <img src="http://www.altocumulus.org/~hallgren/online.cgi?icon" alt=""></address>
</body>
diff --git a/src/www/translator/index.html b/src/www/translator/index.html
index 76c6dbf27..1ed537735 100644
--- a/src/www/translator/index.html
+++ b/src/www/translator/index.html
@@ -72,12 +72,12 @@
</div>
<hr>
<div class=modtime><small>HMTL
-<!-- hhmts start -->Last modified: Fri Oct 5 00:29:39 CEST 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Nov 20 13:47:37 CET 2012 <!-- hhmts end -->
</small></div>
<a href="about.html">About</a>
-<script type="text/javascript" src="../minibar/support.js"></script>
-<script type="text/javascript" src="../minibar/pgf_online.js"></script>
+<script type="text/javascript" src="../js/support.js"></script>
+<script type="text/javascript" src="../js/pgf_online.js"></script>
<script type="text/javascript" src="../gfse/cloud2.js"></script>
<script type="text/javascript" src="../gfse/localstorage.js"></script>
<script type="text/javascript" src="translator.js"></script>
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 23:27:02 +0000