You are reading a single comment by @Numerist and its replies. Click here to read the full conversation.
  • The problem continues but less often. Now the occasional error is only that a term is undefined, which it isn't. (Same term every time.) After that notification, reloading from RAM always works.

    If I'm not doing something else wrong, is there possibly a bug in the IDE?

About

Avatar for Numerist @Numerist started