Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/no_extension/README.md
changeset 75187 bafa8e6431bc
parent 75186 84532574c209 
--- a/src/Tools/VSCode/no_extension/README.md	Wed Mar 02 20:32:16 2022 +0100
+++ b/src/Tools/VSCode/no_extension/README.md	Wed Mar 02 20:35:32 2022 +0100
@@ -4,12 +4,13 @@
 
 Isabelle2021-1 (December 2021) is the last Isabelle release with a separate
 VSCode extension on the public marketplace (see "makarius.Isabelle2021-1").
+
 Starting with Isabelle2022, a fully integrated Isabelle/VSCode with
 corresponding extension is incorporated into the Isabelle distribution.
 
 See also the regular Isabelle webite and its mirrors:
 
-  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
-  Munich (Germany)     https://isabelle.in.tum.de
-  Sydney (Australia)   https://mirror.cse.unsw.edu.au/pub/isabelle
-  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle
+  * Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
+  * Munich (Germany) https://isabelle.in.tum.de
+  * Sydney (Australia) https://mirror.cse.unsw.edu.au/pub/isabelle
+  * Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle
isabelle