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";
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip