Artifact 6166064701d3ee15c799019e0682f3abc958e60c6088318f02cba505403629d5:


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

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]