Shriya M (Jun 07 2024 at 21:23): Shriya M (Jun 07 2024 at 21:23):Hi,
I use a Windows 11 laptop and have been facing a problem with Isabelle lately - there are some permission issues with the database (error message - [SQLITE_CANTOPEN] Unable to open the database file (unable to open database file)), because of which the prover is inactive. I gave full control to all users to all contents in the folder "Isabelle2024", but in vain. Uninstalling and reinstalling Isabelle didn't work. How do I resolve this issue?
Thank you.
Mathias Fleury (Jun 08 2024 at 05:58):Isabelle also needs access to into a $HOME/.isabelle
Mathias Fleury (Jun 08 2024 at 05:59):although I am surprised that It does get the the write authorization by default
Shriya M (Jun 08 2024 at 08:38):I did that, and the issue still persists.
Shriya M (Jun 08 2024 at 08:39):I still get the same error message with the prover being inactive.
Shriya M (Jun 09 2024 at 22:12):Each time I install Isabelle, the permissions are incorrectly ordered. This leads to the database not being accessible and prover being inactive. There's clearly something wrong with my laptop. Can anyone please tell me how I can fix this?
Mathias Fleury (Jun 10 2024 at 12:27):I think that you should ask on the Isabelle mailing-list
Mathias Fleury (Jun 10 2024 at 12:27):Make sure that you include the full error message
Mathias Fleury (Jun 10 2024 at 12:27):and you fully explain what "the permissions are incorrectly ordered" means
Shriya M (Jun 10 2024 at 13:18):Thanks. I will do that
Ashfaaq Asic (Aug 29 2024 at 16:15):I'm having the same issue, did you ever get this problem resolved and if so how?
Shriya M (Aug 30 2024 at 16:29):Hi, I downloaded 7-zip file manager and manually unpacked the Isabelle files. I don’t remember the exact steps of that, but this is an overview of what I did.
Last updated: Dec 21 2024 at 16:20 UTC