[Axiom-developer] [#115 color highlighting of Axiom compiler output] (new)

[billpage]

Changes 
http://page.axiom-developer.org/zope/mathaction/115ColorHighlightingOfAxiomCompilerOutput/diff
--
I have made some simple changes to improve how the output of
the SPAD compiler is displayed on MathAction. Axiom commands
and SPAD code are still highlighted in lightgreen. But the
messages generated by compiler are now showed with a lightgray
background. Like this:
\begin{axiom}
)abbrev package SVT1 SymbolVariableTest1
SymbolVariableTest1(): Spec == Imp where
  Spec ==  with 
    symVar1:() -> Boolean
  Imp == add
    symVar1()==
      y: Variable(y) := y
      x: Variable(y) := y
      t: Boolean := (x = y)
\end{axiom}

I think this makes the page easier to read. Since the compiler
is quite verbose, without this color coding it was sometimes
hard to distinguish the input SPAD code from the compiler
output.

The FunctionalMapping page contains another example.

Comments welcome!
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden