Edit detail for #115 color highlighting of Axiom compiler output revision 1 of 1

changed:
-
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 the compiler are now shown with a lightgrey
background. Like this:
\begin{spad}
)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{spad}

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!

From wyscc Fri Mar 4 18:14:29 -0600 2005
From: wyscc
Date: Fri, 04 Mar 2005 18:14:29 -0600
Subject: Grey background
Message-ID: <20050304181429-0600@page.axiom-developer.org>

This is an excellent idea. Beautiful! Thanks for this new page (FunctionalMapping), too.

From unknown Tue Mar 8 05:43:04 -0600 2005
From: 
Date: Tue, 08 Mar 2005 05:43:04 -0600
Subject: property change
Message-ID: <20050308054304-0600@page.axiom-developer.org>



From BillPage Thu Mar 10 22:59:32 -0600 2005
From: Bill Page
Date: Thu, 10 Mar 2005 22:59:32 -0600
Subject: seems to work ok
Message-ID: <20050310225932-0600@page.axiom-developer.org>

Status: testing => closed 


From BillPage Mon Aug 29 08:19:19 -0500 2005
From: Bill Page
Date: Mon, 29 Aug 2005 08:19:19 -0500
Subject: compiler output is folded
Message-ID: <20050829081919-0500@www.axiom-developer.org>

In addition to being shaded lightgrey, the compiler output is now
also "folded", i.e. the output is collapsed to a single header line.
You will notice a + sign in from the word 'axiom' on the right hand
side of the header. Clicking the + will display the compiler output.
The '+ axiom' turns to '- axiom'. If you click the - then the
compiler output will be hidden.

Note also the +/- menu items at the top of the page. Clicking + will
expand all folded output. Clicking - will hide it all.

(1) -> <spad>

)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)</spad>

Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/2836962772639158623-25px001.spad
      using old system compiler.
   SVT1 abbreviates package SymbolVariableTest1 
------------------------------------------------------------------------
   initializing NRLIB SVT1 for SymbolVariableTest1 
   compiling into NRLIB SVT1 
   compiling exported symVar1 : () -> Boolean
Time: 0 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |SymbolVariableTest1| REDEFINED

;;;     ***       |SymbolVariableTest1| REDEFINED
Time: 0 SEC.

   Warnings: 
      [1] symVar1:  y has no value

   Cumulative Statistics for Constructor SymbolVariableTest1
      Time: 0 seconds

   finalizing NRLIB SVT1 
   Processing SymbolVariableTest1 for Browser database:
--->-->SymbolVariableTest1(constructor): Not documented!!!!
--->-->SymbolVariableTest1((symVar1 ((Boolean)))): Not documented!!!!
--->-->SymbolVariableTest1(): Missing Description
; compiling file "/var/aw/var/LatexWiki/SVT1.NRLIB/SVT1.lsp" (written 06 OCT 2024 09:09:41 PM):

; wrote /var/aw/var/LatexWiki/SVT1.NRLIB/SVT1.fasl
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
   SymbolVariableTest1 is now explicitly exposed in frame initial 
   SymbolVariableTest1 will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/SVT1.NRLIB/SVT1