[isabelle] Isabelle/VSCode 1.0 in Isabelle2017



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.