[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ralf Hemmecke
Subject: Re: [Axiom-developer] [fricas-devel] Re: bug in books/tangle.lisp
Date: Sat, 16 Nov 2013 19:07:29 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.1.0

On 11/16/2013 04:46 PM, jiazhaoconga wrote:
>> Anyway, you have probably seen 
> axiom-environment keeps a list of axiom symbols, 
> and the author updates it a few times, but there is no documentation
> about how to do it.

Exactly for that a (slightly) rewritten 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

> 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
( 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]