isabelle: Changelog

wenzelm [Fri, 22 Jan 2021 15:58:17 +0100] rev 73173

proper path;

wenzelm [Thu, 21 Jan 2021 16:10:43 +0100] rev 73172

support isabelle components -u and -x;

wenzelm [Wed, 20 Jan 2021 23:31:23 +0100] rev 73171

proper typescript version, required for "vsce package";

wenzelm [Wed, 20 Jan 2021 22:56:37 +0100] rev 73170

auto-update;

wenzelm [Wed, 20 Jan 2021 22:55:57 +0100] rev 73169

auto-update;

wenzelm [Wed, 20 Jan 2021 22:55:22 +0100] rev 73168

proper type constraint;

wenzelm [Wed, 20 Jan 2021 22:43:58 +0100] rev 73167

VSCode extension for official Isabelle release;

wenzelm [Wed, 20 Jan 2021 21:42:04 +0100] rev 73166

proper message;

wenzelm [Wed, 20 Jan 2021 21:18:40 +0100] rev 73165

unused;

wenzelm [Tue, 19 Jan 2021 20:38:05 +0100] rev 73164

proper heap_free;

isabelle