Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update PG's logo | Clément Pit--Claudel | 2016-05-24 |
The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks! |