github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-01-13 23:36:30 +00:00
Code Issues Releases Wiki Activity
PDP-10.its/doc/info/epl1.103
Lars Brinkhoff 827457f6f0 Rename EMACS PL1 library info file from PL1LIB to EPL1. 
This is for consistency with the EMACS info file, and also backup
records from AI show this renaming was done in 1979.  Curiously, the
old file name remained on MC and was later copied to the KS10 ITS
machines.
2021-09-29 15:46:25 +02:00

9.8 KiB
Raw Permalink History

View Raw