Hi Fabian<br><br>I already pointed out the missing highlighting of cancel a few months ago ... I am still strongly in favor of having a highlighting that can easily be distinguished, eg the legacy red, or perhaps gray ...<br><br>Right now, when using Isabelle 2018, I do not use cancel, but (**), getting a warning, but having highlighting at least.<br><br>Peter<div class="quote" style="line-height: 1.5"><br><br>-------- Original Message --------<br>Subject: [isabelle-dev] syntax highlighting of inner comments<br>From: Fabian Immler <immler@in.tum.de><br>To: isabelle-dev@mailbroy.informatik.tu-muenchen.de<br>CC: <br><br><br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br><br>Up until Isabelle2018, I used (* ... *) to comment out parts of <br>lemmas/definitions, mostly for debugging larger expressions.<br>Highlighted in red, (* ... *) was nicely set apart from the rest of the <br>expression.<br><br>Now (e.g., isabelle/b58a575d211e) we can use \<^cancel>, but its <br>"highlighting" in black makes it very hard to keep an overview.<br><br>Note that e.g., with a type error in a lemma statement, canceled text is <br>highlighted red (like in the attached screenshot).<br><br>Best regards,<br>Fabian<br><br>_______________________________________________<br>isabelle-dev mailing list<br>isabelle-dev@in.tum.de<br>https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev<br></blockquote></div>