There's no contradiction here, because Glennie's first attempt as autocode isn't referred to as "Mark 1 Autocode" (despite running on the Mark 1). Apparently it

There's no contradiction here, because Glennie's first attempt as autocode isn't referred to as "Mark 1 Autocode" (despite running on the Mark 1). Apparently it wasn't an influence on later developments. Wikipedia is pretty clear about this. https://en.wikipedia.org/wiki/Autocode https://en.wikipedia.org/wiki/Autocode