History of Qed

HomePage | RecentChanges | EditorIndex | TextEditorFamilies | Preferences

Revision 12: View Diff . . July 9, 2020 8:03 pm by cpe-184-152-13-173.nyc.res.rr.com [Replaced links with Archive.org copies. Bell Labs did not preserve Dennis Ritchie's home page. :-(]
Revision 11: View Diff . . July 8, 2020 12:57 pm by ipservice-092-217-014-087.092.217.pools.vodafone-ip.de [Add modern port of Qed.]
Revision 10: View Diff . . July 4, 2010 1:12 pm by c-68-81-37-44.hsd1.nj.comcast.net