prettyprint.lap 128 B

123
  1. % The files prettyprint.* were changed to pp.*
  2. % This allows old code that loaded prettyprint to still get the module.
  3. (load pp)