rpms/emacs-common-proofgeneral
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The emacs-common-proofgeneral rpms
55 commits 36 branches 12 tags 174 KiB
Find a file
Exact
Jerry James 05ae0e337b Reflow the description text
2026-01-11 20:36:45 -07:00
.gitignore May 6 2020 git snapshot so emacs-mmm dependency can be dropped (bz 1837683) 2020-05-20 17:02:42 -06:00
emacs-common-proofgeneral.spec Reflow the description text 2026-01-11 20:36:45 -07:00
io.github.proofgeneral.metainfo.xml Stop building for 32-bit x86 2024-01-16 15:25:29 -07:00
pg-4.2-desktop.patch 13 Oct 2021 git snapshot for numerous updates and bug fixes. 2021-10-19 10:34:31 -06:00
pg-4.2-Makefile.patch New upstream release (fixes bz 972343). 2013-08-24 13:47:51 -06:00
pg-4.5-looking-back.patch Update to git head for prooftree 0.14 support 2024-09-29 09:20:11 -06:00
proofgeneral May 6 2020 git snapshot so emacs-mmm dependency can be dropped (bz 1837683) 2020-05-20 17:02:42 -06:00
proofgeneral-96x96.png Install additional icon sizes. 2018-03-04 14:15:42 -07:00
proofgeneral-256x256.png Install additional icon sizes. 2018-03-04 14:15:42 -07:00
README.md 13 Oct 2021 git snapshot for numerous updates and bug fixes. 2021-10-19 10:34:31 -06:00
sources Update to git head for prooftree 0.14 support 2024-09-29 09:20:11 -06:00

README.md

emacs-common-proofgeneral

Proof General is a generic interface for proof assistants (also known as interactive theorem provers), based on the extensible, customizable text editor Emacs.