Arena: people

Thanks to everyone who has sent us bug reports, sometimes interleaved with encouragement. A special thanks to the following people:

Kai.Arstila@Helsinki.FI, Paul De Bra (debra@win.tue.nl), Rolf Larsson (witchdoc@ludd.luth.se), Paul Traina (pst@freebsd.org), Todd Masco (cactus@hks.net), Neal Becker (neal@ctd.comsat.com), Marcus Hampel (q77755@pbhrzx.uni-paderborn.de) has been compiling and supporting Arena on various platforms. Jonathan H N Chin (shrchin@reading.ac.uk) lends us an account to do porting.

Walter Mueller (walt@pi4.informatik.uni-mannheim.de) did a not-so-straight port to the 64bit alpha.

Scott D. Nelson (nelson18@llnl.gov) added support for 24bit sgi frame buffers.

Michael Van Biesbrouck (mlvanbie@valeyard.csclub.uwaterloo.ca) submitted extensive bug reports and fixes.

Tony Jebson has been producing HTML3 text pages, content and bug listing. So has Rainer Klute.

Janne Saarela (jsaarela@dxcern.cern.ch) extended the math support while producing conversion tools and examples.

Ståle Schumacher (staalesc@pobox.com, staalesc@usit.uio.no) has been debugging and extending the math support.

Dave Beckett (D.J.Beckett@ukc.ac.uk) has been adding support for PNG images, and submitted various other bug fixes.

Janet Boltjes (j.l.boltjes@let.rug.nl) has been working as a summer student at W3C/INRIA, and has trimmed the code while plugging memory leaks.

Noritoshi Demizu (demizu@nff.ncl.omron.co.jp) has contributed various fixes.

Pat Dowler (dowler@pt1b1106.fsh.uvic.ca) has added two command-line options (-geometry and --).

Rask Lambertsen (gc948374@gbar.dtu.dk) is a steady supplier of bug reports, fixes and encouragement.

Phill Hallam-Baker (hallam@w3.org) added support for jpeg and contributed to the mailcap code.

We're using zlib by Jean-loup Gailly (gzip@prep.ai.mit.edu) and Mark Adler (madler@alumni.caltech.edu) in our PNG support.

We're using libpng by Guy Eric Schalnat (schalnat@group42.com) and Group 42, Inc. to decode PNG images.

We're using the Independent JPEG Group's library for decoding JPEG images.

Thanks!