Complements
Quant al complement
Isabelle/HOL's markup sometimes ends up in odd programs that do not know how what to do with it (e.g. as diffs send out by git forges on updates) which are then hard to read.
This plugin gives you a button to un-escape Isabelle's markup in the email view, producing readable mathematical symbols and allowing to comfortably read diffs and other notification emails.
This plugin gives you a button to un-escape Isabelle's markup in the email view, producing readable mathematical symbols and allowing to comfortably read diffs and other notification emails.
