It would be good to know where he said this (and in what context, how adamant he was, etc!). He described the open-source version as “Inform 7 v10.1.0” at Inform 7 v10.1.0 is now open-source. The first two headings are “Inform 7” and “About Inform 7” at GitHub - ganelson/inform: The core software distribution for the Inform 7 programming language. (in the text “Inform” and “Inform 7” are both used). Maybe @Warrigal is right and we were too hasty to rename the old “Inform 7” page as “Inform”…
1 Like