PPDEFFACTS
PPDEFFACTS
Displays the text of a given deffacts.
(ppdeffacts <deffacts-name>)