Hello: How can I get an info about who is doing what in the formalization of CCL in Mizar? Ideally, I would expect an html file that one would be able to acces with a web browser. -- Piotr (Peter) Rudnicki