Re: [mizar] mizar twiki unavailable?

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

thanks to Roman Matuszewski, the Mizar TWiki is now available also under 
the url wiki.mizar.org . I recommend to use this name for linking, 
bookmarking, etc.

Regards,
Josef Urban


On Mon, 3 Jan 2005, Josef Urban wrote:

> 
> Hi,
> 
> the TWiki is up again, at 
> http://lipa.ms.mff.cuni.cz/cgi-bin/twiki/view/Mizar . The domain will 
> probably change in some time to wiki.mizar.org .
> 
> Josef
> 
> 
> 
> On Sun, 2 Jan 2005, Josef Urban wrote:
> 
> > 
> > Hi Jesse,
> > 
> > yes it's down, the search function in the old TWiki 
> > allowed arbitrary shell command execution 
> > (http://twiki.org/cgi-bin/view/Codev/SecurityAlertExecuteCommandsWithSearch),  
> > and it seems to be really abused by some hackers. I have already upgraded 
> > it to the latest production release, but we are not yet sure that 
> > everything is OK on alioth. I hope we'll put it back in short time.
> > 
> > Best,
> > Josef
> > 
> > On Sun, 2 Jan 2005, Jesse Alama wrote:
> > 
> > > Hello,
> > > 
> > > It seems that alioth.uwb.edu.pl is down; I've tried accessing the Mizar 
> > > TWiki for a couple days without success.  What's happening?
> > > 
> > > Thanks,
> > > 
> > > Jesse
> > > 
> > 
>