website address

1 view
Skip to first unread message

Radu Grigore

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.

Mike Dodds

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.

Radu Grigore

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

Matthew Parkinson

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

Mike Dodds

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
0 new messages