Node marking in proof tree and code syntax highlighting#69

Namyl wants to merge 2 commits into

masterMrGunflame/keyui:masterfrom

Proof-tree-marking-and-code-syntax-highlghtingMrGunflame/keyui:Proof-tree-marking-and-code-syntax-highlghtingCopy head branch name to clipboard