Stream: Beginner Questions

Topic: Installation problem with the main plugin


view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Sophie Tourret (Jun 20 2022 at 12:13):

If anyone else has a suggestion, let me know.

view this post on Zulip 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?

view this post on Zulip 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:

view this post on Zulip Sophie Tourret (Jun 20 2022 at 12:19):

Can you mark the stream as solved with a checkmark? I can't modify the title.

view this post on Zulip Mathias Fleury (Jun 20 2022 at 12:21):

sorry, not admin…

view this post on Zulip Sophie Tourret (Jun 20 2022 at 12:24):

Ok, thanks.


Last updated: Jul 15 2022 at 23:21 UTC