Email Gateway (Jan 08 2026 at 20:18): Email Gateway (Jan 08 2026 at 20:18):From: d.luckhardt@posteo.de
Hi,
When I install Isabelle2025-1 under my Windows 11 Home, the first time
Isabelle opens (automatically after installation) everything is fine.
But when opening again, I am getting the error message
"[SQLITE_CANTOPEN] Unable to open the database file (unable to open
database file)". What should I do?
To mention: I tried to reinstall Isablle but could only do so as admin
(in contrast to Isabelle2025). Isabelle2025 is working fine.
Yours
Daniel
Email Gateway (Jan 10 2026 at 14:27):From: Makarius <makarius@sketis.net>
On 08/01/2026 21:17, d.luckhardt@posteo.de wrote:
When I install Isabelle2025-1 under my Windows 11 Home, the first time
Isabelle opens (automatically after installation) everything is fine. But when
opening again, I am getting the error message "[SQLITE_CANTOPEN] Unable to
open the database file (unable to open database file)". What should I do?
Which installation directory did you choose?
What do you see in the Isabelle heaps directories? E.g. using the
Cygwin-Terminal with the following commands:
ls -alR "$(isabelle getenv -b ISABELLE_HOME_USER/heaps)"
ls -alR "$(isabelle getenv -b ISABELLE_HOME/heaps)"
Makarius
Last updated: Jan 11 2026 at 16:28 UTC