proof-general/etc/desktop, 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!







remove deprecated desktop keys
2012-03-05T19:05:25+00:00

Hendrik Tews

2012-03-05T19:05:25+00:00

b657e54f428d4cd74a9a58c9979a98dc28cfc60d












Updated.
2005-08-10T13:51:55+00:00

David Aspinall

2005-08-10T13:51:55+00:00

d9f22beab6fa3cae5dbd40341f54b6b2603e7227












Update to match desktop entry spec 0.9.4
2005-07-15T12:01:35+00:00

David Aspinall

2005-07-15T12:01:35+00:00

18104c0e48cf32174ae1482e4d49734c5452fe94












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

David Aspinall

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

951c2b9817b405dfaa87750a5d3ca29b2452479c












Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4
2005-07-15T11:31:38+00:00

David Aspinall

2005-07-15T11:31:38+00:00

41e8ba1658b3181a47c0f075ea6f4fe9e3e59a81












Tweak desktop integration; add application-registry.
2004-03-01T01:25:16+00:00

David Aspinall

2004-03-01T01:25:16+00:00

dcaa1c1f37c63bc3e41f81f5f36a329a1976a45f












New file
2004-03-01T00:40:15+00:00

David Aspinall

2004-03-01T00:40:15+00:00

3cfba3af1e9bb91b380356823d74a30a5fb3565d












fix syntax
2004-03-01T00:18:30+00:00

David Aspinall

2004-03-01T00:18:30+00:00

350a9dbe845fc7d7e6a5a1d5be6ae96a517dc006