What is done:

  large unused parts are removed

  builds from source using relatively small amount 
  of Lisp code to bootstrap

  improved portability

  fully functional when build on to Clisp, Closure CL
  (former OpenMCL), ECL, GCL or SBCL

  Lisp macros for uniform interface to C

  simpified build using precompiled Lisp

  may be used as a library (currently Lisp library)

  speed improvements

--------------

Crucial issues:

- UI, alternate interfaces:

- algebra improvements

- Spad compiler

--------------

UI, alternate interfaces:

   traditional Axiom interface

   Sage notebook

   output hooks

   html interface

   integration with editors

---------------------

- algebra improvements

   p-adic integration algorithm

   better handling of algebraic expressions

   special functions

---------------------

- Spad compiler promise

   expressive high level language

   safety

   efficient object code


- Problems with compiler

   long compile time

   uniformative diagnostics

   generated code is slow

   many errors are discovered only at runtime

   Spad language lacks some useful constructs

   buggy


- Desirable improvements

   new symbol table

   inlining

   specialization

   new typechecking/type reconstruction algorithm

   more pases

   compiling whole algebra together