emacs-common-proofgeneral

emacs-common-proofgeneral package from fedora repository

Refresh
Refresh
Source Files
Filename Size Changed Actions
ProofGeneral-4.2.tgz 0001613190 1.54 MB over 3 years
ProofGeneralPortrait.eps.gz 0001646905 1.57 MB over 3 years
emacs-common-proofgeneral.spec 0000009326 9.11 KB over 3 years
pg-4.2-Makefile.patch 0000000517 517 Bytes over 3 years
pg-4.2-desktop.patch 0000000526 526 Bytes over 3 years
pg-4.2-texinfo.patch 0000001222 1.19 KB over 3 years
proofgeneral.appdata.xml 0000003179 3.1 KB over 3 years
Comments for emacs-common-proofgeneral 0