initial commit

This commit is contained in:
root
2023-06-12 09:14:09 +02:00
commit b4912f303e
2545 changed files with 209350 additions and 0 deletions

20
tools/qed/readme.txt Normal file
View File

@@ -0,0 +1,20 @@
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.