diff options
Diffstat (limited to 'demos')
| -rw-r--r-- | demos/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/demos/index.html b/demos/index.html index 86449bd6f..02d2168e9 100644 --- a/demos/index.html +++ b/demos/index.html @@ -1,4 +1,4 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<!DOCTYPE html> <HTML> <HEAD> <TITLE>Grammatical Framework Demos</TITLE> @@ -23,7 +23,7 @@ Phrasebook</a> <P><a href="minibar/minibar.html">Minibar online</A> - | <small><a href="http://www.grammaticalframework.org/~hallgren/hs2js/test/">Minibar offline</a></small> + | <small><a href="minibar/minibar_offline.html">Minibar offline</a></small> <P> <a href="http://www.grammaticalframework.org:41296/fridge">Fridge poetry</A> |