[TUHS] QED Archive updated

arnold at skeeve.com arnold at skeeve.com
Sun Oct 27 15:27:03 AEST 2024


Hi All.

For anyone who's interested, my QED archive at
https://github.com/arnoldrobbins/qed-archive has been updated. Changes
were provided by Sean Jensen.

The usenix-80-caltech subdirectory is now more complete and the README.md
points at Sean's updated QED port which now works with Unicode.

I thank him.

Arnold


More information about the TUHS mailing list