7 Oct
2018
7 Oct
'18
4:23 p.m.
Arnold wrote:
What was the name of the editor which George Coulouris wrote at Queen Mary College (then
Queen Mary and Westfield, now Queen Mary, University of London)? “e”?
Arrigo
I am starting to collect, if possible, different
versions of the QED
editor; with a hope to put up a git repo.
Very good! Editors need preservation too.
Anyone curious about Pratt's ZED aka DOC?