proof-general/etc/ProofGeneral.desktop, branch master
Emacs plugins for proof management systems
Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379
2010-11-09T13:08:55+00:00
David Aspinall
2010-11-09T13:08:55+00:00
04195f8f15c22cd8be7a471b9a7724deee687098
Desktop file for KDE.
2002-08-29T10:22:12+00:00
David Aspinall
2002-08-29T10:22:12+00:00
ba2e7a044501740e77b645cebe8eed3c0200b778