first commit - moved from local dev to git

This commit is contained in:
firebee
2022-10-02 10:09:40 +02:00
commit bbb3ef9333
1861 changed files with 167960 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.