website address

unread,

Apr 13, 2010, 8:57:21 AM4/13/10

to jstar-users

The github short description links to http://jstarverifier.org/, which
doesn't work. The easiest solution would be to redirect from
http://jstarverifier.org/ to http://www.jstarverifier.org/.

regards,
radu
PS: I sent this to the list because I'm not sure who can make the
change.

unread,

Apr 13, 2010, 9:03:01 AM4/13/10

to jstar...@googlegroups.com

Good point Radu, I've fixed it.

Mike.

> --
> To unsubscribe, reply using "remove me" as the subject.

unread,

Apr 16, 2010, 7:09:56 AM4/16/10

to jstar-users

On Apr 13, 2:03 pm, Mike Dodds <michael.do...@cl.cam.ac.uk> wrote:
> Good point Radu, I've fixed it.

Some people might type "jstarverifier.org" in the browser's address
bar. (I did.) That's why I suggested redirection as a solution.

regards,
radu

--
Subscription settings: http://groups.google.com/group/jstar-users/subscribe?hl=en

unread,

Apr 16, 2010, 9:02:14 AM4/16/10

to jstar...@googlegroups.com, jstar-users

Agreed. It would be great to fix that, I have got the wrong page
about 10 times.

Sent from my iPhone

unread,

Apr 21, 2010, 8:34:40 AM4/21/10

to jstar...@googlegroups.com

Ok, I'll email the QMUL webguy.

M.

Reply all

Reply to author

Forward