wenzelm [Fri, 25 Feb 2022 15:01:47 +0100] rev 75147
clarified extension name;
wenzelm [Fri, 25 Feb 2022 14:42:38 +0100] rev 75146
clarified signature;
wenzelm [Fri, 25 Feb 2022 14:38:16 +0100] rev 75145
clarified signature;
wenzelm [Fri, 25 Feb 2022 14:02:59 +0100] rev 75144
clarified options;
wenzelm [Fri, 25 Feb 2022 13:53:12 +0100] rev 75143
support local .vsix installation;
discontinued publishing to VSCode Marketplace, which will become obsolete eventually;
wenzelm [Fri, 25 Feb 2022 13:22:20 +0100] rev 75142
formal record of generated package-lock.json;
wenzelm [Fri, 25 Feb 2022 13:18:30 +0100] rev 75141
pro-forma update of version, for ongoing development;
wenzelm [Fri, 25 Feb 2022 13:15:27 +0100] rev 75140
updated notes on Isabelle/VSCode development;
wenzelm [Fri, 25 Feb 2022 12:56:40 +0100] rev 75139
proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;
haftmann [Thu, 24 Feb 2022 11:25:09 +0000] rev 75138
simp rules for negative numerals