19 Oct
2003
19 Oct
'03
7:51 p.m.
There are still some bugs in the webserver. Once in a while it just dies. I keep an eye on it and try to get it stable. Right now it should work.
Yes, it\'s great! It would be nice to have a short description for each command - I know, there is the documentation from Hans - but it would be comfortable to have the description in texshow. Jörg