proof-general/etc/desktop/icons, branch master Emacs plugins for proof management systems fix icon installation and add 64 and 128 square icons (fixes #141) 2017-01-17T10:00:05+00:00 Hendrik Tews 2017-01-17T10:00:05+00:00 915c66130bf639c7bd0b94f5a5c4a79f9148d2b1 






Update PG's logo
2016-05-25T03:28:08+00:00

Clément Pit--Claudel

2016-05-25T03:28:08+00:00

adbaafb96696f7cd65c53ecad71aac095bee1338

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!





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!







Add alpha to fit modern themes
2005-07-15T11:45:44+00:00

David Aspinall

2005-07-15T11:45:44+00:00

951c2b9817b405dfaa87750a5d3ca29b2452479c












New files.
2004-02-28T16:39:49+00:00

David Aspinall

2004-02-28T16:39:49+00:00

84017076ecd22aba61a72b72836f57f7e3014860