[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] A tip for Axiom: use ledit to have editable command li
From: |
David MENTRE |
Subject: |
[Axiom-developer] A tip for Axiom: use ledit to have editable command line |
Date: |
03 May 2003 16:16:51 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Hello,
Currently, Axiom does not have an editable command line like bash. While
it will be probably fixed in the future, I'm using the ledit program to
had this facility to the current axiom code.
Simply use 'ledit obj/linux/bin/interpsys' to have an editable command
line.
ledit is written in Objective Caml and can be found from
http://cristal.inria.fr/~ddr/
ledit is available in debian woody ('apt-get install ledit') and is
probably available in other linux distributions.
I hope it helps,
Best regards,
d.
--
address@hidden
- [Axiom-developer] A tip for Axiom: use ledit to have editable command line,
David MENTRE <=