[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: How to use ALDOR within AXIOM
|
From: |
Martin Rubey |
|
Subject: |
[Axiom-developer] Re: How to use ALDOR within AXIOM |
|
Date: |
Sat, 2 Oct 2004 16:05:36 +0000 |
Dear Ralf,
In fact, "fact" can be compiled using aldor 1.0.2 and axiom libraries: see
http://lists.nongnu.org/archive/html/axiom-mail/2004-09/msg00035.html
(this mail should really have gone to axiom-developer, sorry.)
Unfurtunately, I did not yet succeed with domains or packages. Maybe you do :-)
Martin