axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] axiom identifiers


From: Martin Rubey
Subject: Re: [Axiom-developer] axiom identifiers
Date: 24 May 2007 15:07:35 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

address@hidden writes:

> The list of axiom identifiers existed as some point in the past.  It was used
> for command completion in clef. I can look around for it when I get back.

Would be great if this information could at least be extracted automatically at
build time.  But I do not even know about the necessary format.

Martin





reply via email to

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