isabelle: Changelog

wenzelm [Wed, 09 Mar 2022 11:20:16 +0100] rev 75249

patch VSCode source tree to support isabelle_encoding.ts;

wenzelm [Tue, 08 Mar 2022 21:40:16 +0100] rev 75248

more robust, pass "yarn valid-layers-check";

wenzelm [Tue, 08 Mar 2022 17:09:09 +0100] rev 75247

clarified directories;

wenzelm [Tue, 08 Mar 2022 17:02:24 +0100] rev 75246

patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;

wenzelm [Tue, 08 Mar 2022 15:51:18 +0100] rev 75245

fit into vscode source conventions;

paulson <lp15@cam.ac.uk> [Wed, 09 Mar 2022 16:21:58 +0000] rev 75244

A tiny further cleanup

paulson <lp15@cam.ac.uk> [Wed, 09 Mar 2022 12:43:48 +0000] rev 75243

Tidied some messy proofs

nipkow [Tue, 08 Mar 2022 09:35:39 +0100] rev 75242

merged

nipkow [Mon, 07 Mar 2022 15:28:53 +0100] rev 75241

more count_list lemmas

wenzelm [Mon, 07 Mar 2022 21:16:12 +0100] rev 75240

towards UTF-8-Isabelle symbol encoding;

isabelle