|
|
last edited 2 months ago by test1 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | ||
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:
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.