Is this post within the posting rules? ISLisp and Common Lisp. Origin of ISLisp | by Kenichi Sasagawa | Nov, 2023 | Medium
Interesting. I had to look up what an electone is
In well known paper Hygienic macro technology Section 5. Pra.5.2
> As it turned out, this dispute between the X3J13 and various European delegations continued for
several years, centering on the name of the language to be standardized. If the name of that language
was łLispž, then Common Lisp might fall under the ISO umbrella. Eventually ISO SC22/WG16
adopted the name ISLisp, thus avoiding the threat to Common Lisp [SC22/WG16 1997].
Actually ISLisp standard (about draft 13) looks like RnScheme standard - smart-compact and open for interpretations of authors. But it is one core document with observable 120+ pages (like R7RSsmall - 84p).