Hamza M (Feb 20 2022 at 16:44): Hamza M (Feb 20 2022 at 16:44):Hello,
I have a small problem with the installation of Isabelle. I get this message when I open it :
C:\Users\hamza\.isabelle\Isabelle2021-1\jedit\jars\isabelle_jedit_main.jar:
Cannot start:
*** Duplicate declaration of option "browser_info" (line 5 of "/cygdrive/c/Users/hamza/.isabelle/Isabelle2021-1/etc/options") (line 5 of "/cygdrive/c/Users/hamza/.isabelle/Isabelle2021-1/etc/options") (file "/cygdrive/c/Users/hamza/.isabelle/Isabelle2021-1/etc/options")
Do you know what is going on ?
Thank you very much
Sophie Tourret (Jun 20 2022 at 12:11):Hi @Hamza M, did you find the solution to this problem? A student of mine is trying to install isabelle on windows and has encontered the same issue.
Sophie Tourret (Jun 20 2022 at 12:13):If anyone else has a suggestion, let me know.
Mathias Fleury (Jun 20 2022 at 12:16):I am surprised that you have an .isabelle/Isabelle2021-1/etc/options. What is in that file?
Sophie Tourret (Jun 20 2022 at 12:18):We found the issue. It was simply a problem of missing dependencies. After installing MikTek and reinstalling isabelle, there is no longer this option file and Isabelle is running as wanted. :octopus:
Sophie Tourret (Jun 20 2022 at 12:19):Can you mark the stream as solved with a checkmark? I can't modify the title.
Mathias Fleury (Jun 20 2022 at 12:21):sorry, not admin…
Sophie Tourret (Jun 20 2022 at 12:24):Ok, thanks.
Hamza M (Jun 22 2022 at 23:58):Oh cool thank you for the solution. I just switched to my Linux PC to make it work
Notification Bot (Jun 22 2022 at 23:58):Hamza M has marked this topic as resolved.
Last updated: Dec 21 2024 at 16:20 UTC