The spectators have been confused by "what is a command", "what is a term",
"what is what".
With a small amount of syntax highlighting, this could be made much clearer.
Plus, the system would look slightly more polished.
Original issue reported on code.google.com by pedag...@gmail.com on 7 Sep 2010 at 10:36
Original issue reported on code.google.com by
pedag...@gmail.com
on 7 Sep 2010 at 10:36