I have Epistemology version 5 and want to update to the latest version 6, which is supposed to be built in to Inform (I have v. 6G60 of Inform 7). Eric suggested that I delete it from its folder and then Inform 7 would use the version that’s built in, but after deleting it, I’m getting a message that says “Problem. You wrote ‘Include Epistemology by Eric Eve’ : but I can’t find that extension, which seems not to be installed. (You can get hold of extensions which people have made public at the Inform website.).”
But the extension isn’t available there, since it’s built in!!!
Thanks for any help with this.