From e06e587de140195c66fe384488760de9c31e3d0e Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@altocumulus.org>
Date: Tue, 1 Mar 2011 15:02:13 +0000
Subject: [PATCH] demos/index.html: minibar is now available on the standard
 port

Minibar was at http://www.grammaticalframework.org:41296/minibar/minibar.html
but now also at http://www.grammaticalframework.org/demos/minibar/minibar.html
which means it is accessible behind firewalls that block requests to
nonstandard ports.
---
 demos/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/demos/index.html b/demos/index.html
index cf5510e82..1f69504a2 100644
--- a/demos/index.html
+++ b/demos/index.html
@@ -23,7 +23,7 @@ Phrasebook</a>
 
 
 <P>
-<A HREF="http://www.grammaticalframework.org:41296/minibar/minibar.html">Minibar
+<A HREF="minibar/minibar.html">Minibar
 online</A>
  | <small><a href="http://www.grammaticalframework.org/~hallgren/hs2js/test/">Minibar offline</a></small>
 <P>