app-emacs/
mmm-mode

Enables the user to edit different parts of a file in different major modes

http://mmm-mode.sourceforge.net/

Dependencies Reverse-Dependencies

Version RDEPEND DEPEND BDEPEND PDEPEND
app-emacs/proofgeneral-4.4

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: