[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: billpage
Subject: [Axiom-developer] [#115 color highlighting of Axiom compiler output] (new)
Date: Fri, 04 Mar 2005 17:14:19 -0600

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:
)abbrev package SVT1 SymbolVariableTest1
SymbolVariableTest1(): Spec == Imp where
  Spec ==  with 
    symVar1:() -> Boolean
  Imp == add
      y: Variable(y) := y
      x: Variable(y) := y
      t: Boolean := (x = y)

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

The FunctionalMapping page contains another example.

Comments welcome!
forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]