github.com/arnoldrobbins.qed-archive
1
0
Fork 0
mirror of synced 2026-01-11 23:43:06 +00:00
Code Issues Releases Wiki Activity

Update README.md

Browse Source 
Add pointer to new port on Github.

Add pointer to updated QED tutorial on Github.
This commit is contained in:
sean 2024-10-23 08:47:02 +01:00 committed by GitHub
parent f4ead9eabc
commit 4510d055da
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -49,8 +49,7 @@ Pointer provided by Lars Brinkhoff.
* Leah Neukirchen's
[up-to-date port of QED](https://github.com/chneukirchen/qed-caltech).
* Sean Jesen's [port of Rob Pike's 1992 Unix version, updated to support
UTF-8/Unicode](https://github.com/phonologus/QED).
* Sean Jensen's [new port of Rob Pike's 1992 Unix version, with UTF-8 support](https://github.com/phonologus/qed-new).
## Other Notes
@ -63,6 +62,8 @@ files I received, even though they actually predate Git's invention.
Leah Neukirchen's blog ["Remembering The Work of David Tilbrook and the
QED Editor"](https://leahneukirchen.org/blog/archive/2021/01/remembering-the-work-of-david-m-tilbrook-and-the-qed-editor.html).
Sean Jensen's updated version of Rob Pike's [QED Tutorial](https://github.com/phonologus/qed-book).
#### Last Updated
Mon Feb 1 07:45:07 IST 2021