On 11/11/2013 12:31 PM, Fabio S. wrote:
> I have only one remark: I used axiom to generate
> categories/domains/packages/operators names. Are them exactly the same
> in fricas? I don't know this. From this point of view, maybe they can't
> be completely interchangeable.

If I were you, I would simply write a little script that a user could
run on his/her machine and generated the respective lists of
categories/domains/... in a form appropriate for the vim-mode.

Ralf



_______________________________________________
Axiom-developer mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to