Yesterday I had the same problem, that's why I opened the ticket. The server down...
Problems on Potassco website
I'm using Latexian http://tacosw.com/latexian/ for some of my latexing; which instead...
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.