Isabelle markup expander Autor: terru

Parse Isabelle escape codes and replace them by unicode representation

O tym rozszerzeniu

Tired of having to read Isabelle theory files on code forges, staring at the bare, unexpanded markup? Use this to do a simple pass over the website and replace all the escape sequences with their unicode representations.