Dear GAP Forum,
a part of my message got eaten up, apparently.
I meant to write as well, that 1-click opening of gzipped dvi files
with IE isn't possible.
>
>
> Gaunce Lewis <lglewis@syr.edu> writes:
>
> > Dear gap forum
> >
> > Let me offer a slight correction to the claim that IE does not handle gz
> > files like those at
> >
> >
> > http://www.csee.uq.edu.au/~gap/#gap4
> >
> > In fact, IE almost handles them correctly. If you ask IE to download one
>
> ok, it can download them, but that's not the point.
>
-- Dmitrii V. Pasechnik e-mail: d.pasechnik@its.tudelft.nl ISA, TWI/ITS office location: TU Delft HB 07.070 Postbus 5031 Mekelweg 4 2600 GA Delft 2628 CD Delft The Netherlands phone: +31-(0)15-2787260 fax: +31-(0)15-2786632 http://ssor.twi.tudelft.nl/~dima