proof-general/etc/desktop/proofgeneral.desktop, branch master Emacs plugins for proof management systems remove deprecated desktop keys 2012-03-05T19:05:25+00:00 Hendrik Tews 2012-03-05T19:05:25+00:00 b657e54f428d4cd74a9a58c9979a98dc28cfc60d 






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












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 files.
2004-02-28T17:08:50+00:00

David Aspinall

2004-02-28T17:08:50+00:00

a3ff01589eb61b2bf7158247a306f90be43daa47