From: Dmitry V. Gorbatovsky
Subject: repl font-lock
Date: Fri, 22 Dec 2006 14:40:49 +0000
Message-ID: <emgqpg$2q1$1@aioe.org>

Hi
I try to find a way to colourise repl.
Seems to me that rich "font-lock" 
colourisation would be usefull,
at least for education.
Isn't it?

Regards, Ditry