login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for UserInterface revision 1 of 16

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Editor: page
Time: 2007/09/11 19:25:10 GMT-7
Note:

changed:
-
  There are several options to interact with Axiom:

  - Native axiom user interface

    - readline functionality for line editing, arrow keys

    - "ascii text" rendering of mathematics

    - multi-line input

    - tab-completion

  - Emacs

    - There is a usable "gnu-emacs mode for axiom":AxiomEmacsMode with some nice features as highlighting and
      write-protecting of output, the possibility of marking parts of the output in colors, etc.  There remains
      some work to do, but it is certainly usable for production work.

    - For programming, there is an "emacs mode for Aldor":AldorInEmacs that provides syntax highlighting and
      automatic indentation, and interacts well with ALLPROSE.

  - TeXmacs

    - include Axiom commands and formatted output in mathematical documents

  - [jEdit] http://www.jedit.org

    jEdit is a mature and well-designed programmer's text editor with over
    7 years of development behind it. While jEdit beats many expensive
    development tools for features and ease of use, it is released as free
    software with full source code, provided under the terms of the GNU
    General Public License. 

    - runs on Mac OS X, OS/2, Unix (linux), VMS and Windows

    - Folding and outlining for selectively hiding or expanding complex
      parts of of the text or program code <b><font color="green">
      - Works with both SPAD indented (pile) code and Aldor block structures
      </font></b>

    - supports file transfer and remote edit via SSH using SSH2 and SFTP

    - allows the user to run text from a buffer through an external process
      and capture the output (Hey, just like emacs :). <b><font color="green">
      - Works with Axiom! And on Windows too.</font></b>

    - very extensible and under active development.



There are several options to interact with Axiom:

  • Native axiom user interface
    • readline functionality for line editing, arrow keys
    • "ascii text" rendering of mathematics
    • multi-line input
    • tab-completion
  • Emacs
    • There is a usable gnu-emacs mode for axiom with some nice features as highlighting and write-protecting of output, the possibility of marking parts of the output in colors, etc. There remains some work to do, but it is certainly usable for production work.
    • For programming, there is an emacs mode for Aldor that provides syntax highlighting and automatic indentation, and interacts well with ALLPROSE.
  • TeXmacs?
    • include Axiom commands and formatted output in mathematical documents
  • [jEdit]? http://www.jedit.org

    jEdit is a mature and well-designed programmer's text editor with over 7 years of development behind it. While jEdit beats many expensive development tools for features and ease of use, it is released as free software with full source code, provided under the terms of the GNU General Public License.

    • runs on Mac OS X, OS/2, Unix (linux), VMS and Windows
    • Folding and outlining for selectively hiding or expanding complex parts of of the text or program code - Works with both SPAD indented (pile) code and Aldor block structures
    • supports file transfer and remote edit via SSH using SSH2 and SFTP
    • allows the user to run text from a buffer through an external process and capture the output (Hey, just like emacs :). - Works with Axiom! And on Windows too.
    • very extensible and under active development.