  From version 3.09 qed (including sources) will be in the public domain!

Thus, both the program and the sources of version 3.09 may be copied 
by everybody and may be freely distributed by bulletin board systems 
etc.
Yet the Tom has prohibited the charge of a fee of whatever kind.

=========================================================================

From Version 3.20 to Version 4.53 Christian Felsch was the maintainer
of QED.

=========================================================================

From Version 5.0 to 5.0.2 QED was developed by Heiko Achilles.

=========================================================================

Since 2002 QED is part of FreeMinT CVS/GitHub repository.
Current version is 5.0.5.