isabelle: Changelog

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;

wenzelm [Mon, 07 Mar 2022 17:18:19 +0100] rev 75239

updated to VSCode 1.65.0;

wenzelm [Mon, 07 Mar 2022 16:14:14 +0100] rev 75238

clarified char symbols: cover most European languages;

wenzelm [Mon, 07 Mar 2022 16:01:54 +0100] rev 75237

more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML);

wenzelm [Mon, 07 Mar 2022 13:45:09 +0100] rev 75236

tuned comments; tuned imports;

wenzelm [Mon, 07 Mar 2022 12:40:36 +0100] rev 75235

more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;

wenzelm [Mon, 07 Mar 2022 12:37:03 +0100] rev 75234

proper file headers;

nipkow [Sun, 06 Mar 2022 22:13:18 +0100] rev 75233

added count_list lemmas

wenzelm [Sun, 06 Mar 2022 17:53:14 +0100] rev 75232

tuned message;

isabelle