Julian (Jan 02 2021 at 17:22): Julian (Jan 02 2021 at 17:22):Maybe I am missing something but could it be that the tar archive (linux download) on the website is wrong/damaged?
Julian (Jan 02 2021 at 17:26):I tried downloading/extracting on two separate machines and I get a ".... Damaged archive... " error on both.
Mathias Fleury (Jan 02 2021 at 17:31):It is most likely a trap by Makarius to make sure that you use the RC1 version https://isabelle.in.tum.de/website-Isabelle2021-RC1/ :grinning:
Mathias Fleury (Jan 02 2021 at 17:33):For now the sydney server works https://mirror.cse.unsw.edu.au/pub/isabelle/dist/Isabelle2020_linux.tar.gz
Mathias Fleury (Jan 02 2021 at 17:34):(I believe the webpages are sync'ed once a day)
Jakob Schulz (Oct 11 2021 at 15:13):Hi :) not sure if this is the correct place, but I have an issue getting Isabelle2021 to work. After installing it and launching Isabelle2021.exe, it says "I/O error: C:\Users\User\.isabelle\Isabelle2021\ROOTS (Das System kann den angegebenen Pfad nicht finden)". I installed Isabelle into C:\Users\User\Isabelle, and there is a ROOTS file at C:\Users\User\Isabelle\Isabelle2021\ROOTS. The C:\Users\User\.isabelle folder is completely empty.
Jakob Schulz (Oct 12 2021 at 08:07):Hm, I now got it to work by installing into a folder named "IsabelleFolder" instead of "Isabelle".
Juan Caballero (Oct 13 2021 at 03:31):hello everyone, I would like to make my own isabelle editor using javascript, could someone tell me where to find the indicated repository?
Mathias Fleury (Oct 13 2021 at 03:54):The Isabelle repository as linked on https://isabelle.in.tum.de/ is at https://isabelle-dev.sketis.net/source/isabelle/ (start with the instructions in the README_REPOSITORY).
Mathias Fleury (Oct 13 2021 at 03:55):I cannot judge on the feasibility to develop your own editor in javascript, but you could try the VSCode integration
Kevin Kappelmann (Oct 13 2021 at 08:02):note that the currently released VSCode integration isn't working particularly well but an update should be published soonish
Last updated: Dec 21 2024 at 16:20 UTC