Gergely Buday (Oct 01 2026 at 17:46): Gergely Buday (Oct 01 2026 at 17:46):I closed my Isabelle/jEdit as it was stuck on a qed, but when I restarted it, it started to rebuild HOL.
What else could have caused this, other than the HOL files were changed?
Kevin Kappelmann (Oct 01 2026 at 17:49):Gergely Buday said:
What else could have caused this, other than the HOL files were changed?
Something in Pure was touched. Or the session image deleted.
Gergely Buday (Oct 01 2026 at 17:51):Never trust an AI
Last updated: Oct 05 2026 at 04:40 UTC