Thanks David, nice video! Is it possible to have a less lossy compression (I watched the 1080p version on youtube and it's very pixelized)?
Is it possible (and fast enough to implement) to put some color on the tree? If I understand correctly, the leaves are the $a- and $p-statements and I see at the beginning that some are colored (what color code?), and the internal nodes are the sections of set.mm? Would it be possible, without too much work, to use the colors used in the MPE (the rainbow-like hue), both for the leaves and for the internal nodes and branches (the color of a section would be that of its first statement)? Benoit -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/7b67e08e-07d1-40a9-82b3-45946dca4794%40googlegroups.com.
