Change read-microcode-tables! to re-read-microcode-tables!
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Sat, 23 May 1992 01:13:04 +0000 (01:13 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Sat, 23 May 1992 01:13:04 +0000 (01:13 +0000)
commit97708bf78661c57819adb29c31531c7b30a9418e
treea68c906adcb9e2bffec6d6d8e5d1915b592afbe2
parent6e2bbbd8064f04100fca01d0a054789748a3434d
Change read-microcode-tables! to re-read-microcode-tables!
v7/src/runtime/runtime.pkg
v7/src/runtime/savres.scm
v8/src/runtime/runtime.pkg