This is TeXMGR, a dvi file viewer.  After months of debugging, I fixed
all bugs which made it crash the server, but it still doesn't work
right.  It seems that the bitmaps would be created using 16 bit
alignment, so only some of them look right.  Should be easy to debug.

Michael Haardt
