isabelle: Changelog

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;

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;

isabelle