Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle/VSCode 1.0 in Isabelle2017

view this post on Zulip Email Gateway (Aug 22 2022 at 16:13):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

Isabelle/VSCode has been announced several times on this mailing list
already. See also the blog post
http://sketis.net/2017/isabellevscode-1-0-in-isabelle2017

The main entry point for trying it out is
https://marketplace.visualstudio.com/items?itemName=makarius.Isabelle2017

Makarius

Last updated: Feb 01 2025 at 20:19 UTC