proof-general/etc/desktop/mime-info, branch master
Emacs plugins for proof management systems
Tweak desktop integration; add application-registry.
2004-03-01T01:25:16+00:00
David Aspinall
2004-03-01T01:25:16+00:00
dcaa1c1f37c63bc3e41f81f5f36a329a1976a45f
fix syntax
2004-03-01T00:18:30+00:00
David Aspinall
2004-03-01T00:18:30+00:00
350a9dbe845fc7d7e6a5a1d5be6ae96a517dc006
New files.
2004-02-28T16:56:45+00:00
David Aspinall
2004-02-28T16:56:45+00:00
1086247ef0875b662c527c6f74c8a6f3ce60e2c7