proof-general/etc/desktop/application-registry/proofgeneral.applications, branch master Emacs plugins for proof management systems New file 2004-03-01T00:40:15+00:00 David Aspinall 2004-03-01T00:40:15+00:00 3cfba3af1e9bb91b380356823d74a30a5fb3565d