Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
app-emacs
/redprl
Major mode for editing RedPRL proofs and interacting with RedPRL
Screenshots
https://github.com/RedPRL/sml-redprl
redprl-20180418.1434
~amd64 ~x86
View
Download
Browse
License:
Overlay:
melpa
redprl-0.1.0
~amd64 ~x86
View
Download
Browse
License:
Overlay:
melpa-stable
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs