Re: [Axiom-developer] [fricas-devel] Re: bug in books/tangle.lisp

[Ralf Hemmecke]

On 11/16/2013 04:46 PM, jiazhaoconga wrote:
>> Anyway, you have probably seen keywords.sh. 
>> https://github.com/hemmecke/vim-panaxiom/tree/master/axiom
> 
> axiom-environment keeps a list of axiom symbols, 
> https://bitbucket.org/pdo/axiom-environment/src/3d58f5ff7412cb519bbfb70f3cc0711931e216e9/data/?at=default
> and the author updates it a few times, but there is no documentation
> about how to do it.

Exactly for that a (slightly) rewritten keyword.sh could be used for. It
should be run at build-time of one of the pan-axiom systems to generate
the respective *-standar-*-info.el files.

Note that the result would usually differ slightly for
Axiom/OpenAxiom/FriCAS.

> I implement  fricas.el's "fricas-yank" functionality into 
> axiom-environment's axiom-spad-mode, but much much more user 
> friendly.

I've never used that. In fact, I mostly use fricas.el for running
efricas. I'm not much in favour of pile mode. Although imperfect, I
currently use my aldor.el
(https://portal.risc.jku.at/Members/hemmecke/aldor/emacs) for editing
SPAD file, but I'd rather like that SPAD syntax would be simply replaced
by Aldor syntax.

As you can certainly see, aldor.el is just a hack to make myself happy.
I'm not an elisp programmer after all.

Ralf