isabelle: src/Tools/VSCode/no_extension/README.md@4b875a4c83b0 (annotated)

75186 84532574c209 disregard public marketplace; wenzelm parents: 75158 diff changeset	1	# Isabelle/VSCode Prover IDE (PIDE)
66236 8ae7c5ba1a85 more documentation; wenzelm parents: 66230 diff changeset	2
75186 84532574c209 disregard public marketplace; wenzelm parents: 75158 diff changeset	3	This extension is obsolete!
66236 8ae7c5ba1a85 more documentation; wenzelm parents: 66230 diff changeset	4
75186 84532574c209 disregard public marketplace; wenzelm parents: 75158 diff changeset	5	Isabelle2021-1 (December 2021) is the last Isabelle release with a separate
84532574c209 disregard public marketplace; wenzelm parents: 75158 diff changeset	6	VSCode extension on the public marketplace (see "makarius.Isabelle2021-1").
75187 bafa8e6431bc tuned README; wenzelm parents: 75186 diff changeset	7
75186 84532574c209 disregard public marketplace; wenzelm parents: 75158 diff changeset	8	Starting with Isabelle2022, a fully integrated Isabelle/VSCode with
84532574c209 disregard public marketplace; wenzelm parents: 75158 diff changeset	9	corresponding extension is incorporated into the Isabelle distribution.
66218 a30bf1c755c1 more documentation; wenzelm parents: 66070 diff changeset	10
75186 84532574c209 disregard public marketplace; wenzelm parents: 75158 diff changeset	11	See also the regular Isabelle webite and its mirrors:
66236 8ae7c5ba1a85 more documentation; wenzelm parents: 66230 diff changeset	12
75187 bafa8e6431bc tuned README; wenzelm parents: 75186 diff changeset	13	* Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
bafa8e6431bc tuned README; wenzelm parents: 75186 diff changeset	14	* Munich (Germany) https://isabelle.in.tum.de
bafa8e6431bc tuned README; wenzelm parents: 75186 diff changeset	15	* Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle
bafa8e6431bc tuned README; wenzelm parents: 75186 diff changeset	16	* Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle

author	wenzelm
	Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265	4b875a4c83b0
parent 75187	bafa8e6431bc
permissions	-rw-r--r--