Wed, 09 Mar 2022 12:41:40 +0100 more operations;
wenzelm [Wed, 09 Mar 2022 12:41:40 +0100] rev 75251
more operations;
Wed, 09 Mar 2022 11:29:34 +0100 tuned comments;
wenzelm [Wed, 09 Mar 2022 11:29:34 +0100] rev 75250
tuned comments; tuned messages;
Wed, 09 Mar 2022 11:20:16 +0100 patch VSCode source tree to support isabelle_encoding.ts;
wenzelm [Wed, 09 Mar 2022 11:20:16 +0100] rev 75249
patch VSCode source tree to support isabelle_encoding.ts;
Tue, 08 Mar 2022 21:40:16 +0100 more robust, pass "yarn valid-layers-check";
wenzelm [Tue, 08 Mar 2022 21:40:16 +0100] rev 75248
more robust, pass "yarn valid-layers-check";
Tue, 08 Mar 2022 17:09:09 +0100 clarified directories;
wenzelm [Tue, 08 Mar 2022 17:09:09 +0100] rev 75247
clarified directories;
Tue, 08 Mar 2022 17:02:24 +0100 patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;
wenzelm [Tue, 08 Mar 2022 17:02:24 +0100] rev 75246
patch for vscode encoding "UTF-8-Isabelle": clone of "utf8", no symbols yet;
Tue, 08 Mar 2022 15:51:18 +0100 fit into vscode source conventions;
wenzelm [Tue, 08 Mar 2022 15:51:18 +0100] rev 75245
fit into vscode source conventions;
Wed, 09 Mar 2022 16:21:58 +0000 A tiny further cleanup
paulson <lp15@cam.ac.uk> [Wed, 09 Mar 2022 16:21:58 +0000] rev 75244
A tiny further cleanup
Wed, 09 Mar 2022 12:43:48 +0000 Tidied some messy proofs
paulson <lp15@cam.ac.uk> [Wed, 09 Mar 2022 12:43:48 +0000] rev 75243
Tidied some messy proofs
Tue, 08 Mar 2022 09:35:39 +0100 merged
nipkow [Tue, 08 Mar 2022 09:35:39 +0100] rev 75242
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip