* [TUHS] QED archive now available
@ 2019-01-08 17:19 Arnold Robbins
0 siblings, 0 replies; only message in thread
From: Arnold Robbins @ 2019-01-08 17:19 UTC (permalink / raw)
To: tuhs
Hi All.
Back in October I started a discussion about QED sources. A number of
people were kind enough to send me tarballs and zip files as well as
pointers to other archives.
I have finally cobbled it all together and made it available on GitHub:
https://github.com/arnoldrobbins/qed-archive
I have tried to acknowledge everyone who contributed.
Thanks again to all who did send me stuff and email me.
Enjoy,
Arnold
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-01-08 17:35 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-01-08 17:19 [TUHS] QED archive now available Arnold Robbins
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).