Changes http://wiki.axiom-developer.org/LatexSymbols/diff
--
This page was renamed from SandBoxLatexSymbols to LatexSymbols.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Changes http://wiki.axiom-developer.org/LatexSymbols/diff
--
This page was renamed from SandBoxLatexSymbols to LatexSymbols.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
Changes http://wiki.axiom-developer.org/LatexSymbols/diff
--
This page was renamed from SandBoxLatexSymbols to LatexSymbols.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
On Friday, November 25, 2005 4:51 AM Ralf Hemmecke wrote:
>
> ... I don't think that it is actually the amount of text
> which is a problem, it is rather its organisation.
> ...
> What I would dream of is ONE main entry point into the AXIOM
> world. At the moment I could see several.
>1. To
On Friday, November 25, 2005 4:51 AM Ralf Hemmecke wrote:
> Bill Page wrote:
> > ...
> > Perhaps this is a good time to suggest that we disconnect the
> > axiom-developer email list from the Axiom Wiki web site?
>
> Good idea. I usually just remove those emails. A much better
> idea would be to
Greetings!
Francois Maltey <[EMAIL PROTECTED]> writes:
> Hello Camm, and thanks a lot !
>
> When I update axiom on my debian testing (etch) I play with
> etc/apt/preference :
>
> Package: *
> Pin: release a=testing
> Pin-Priority: 990
>
> Package: axiom*
> Pin: release a=unstable
> Pin-Priori
--- root <[EMAIL PROTECTED]> wrote:
> > I would like to describe what I have done and why, in case
> > there is any merit in outlining the issues.
>
> post away. you don't need permission.
Just trying to avoid annoying the list :-).
Here is the preamble I am currently using - for any more ela
Greetings! It appears in the unstable package list at present to me,
and should also be accessbile directly via the package website page.
Please let me know if problems persist, or if anything else is amiss.
Take care,
Francois Maltey <[EMAIL PROTECTED]> writes:
> Hello everybody !
>
> > axiom
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Page, Bill wrote:
> > Perhaps this is a good time to suggest that we disconnect the
> > axiom-developer email list from the Axiom Wiki web site?
>
> Good idea. I usually just remove those emails.
Well, I regard these emails primarily as notices that
Changes
http://wiki.axiom-developer.org/219TheInterpreterDoesNotUnderstandDependendTypes/diff
--
Note that with Peter''s patches the error message 'System Error: Unfortunate
use of dependant type' is directly triggered by the code produced by aldor. In
the lisp file, there line 201 reads::
Page, Bill wrote:
Dear Axiom-developer Subscribers;
Gee that was stupid of me, wasn't it ... :(^
Perhaps this is a good time to suggest that we disconnect the
axiom-developer email list from the Axiom Wiki web site?
Good idea. I usually just remove those emails. A much better idea would
be t
11 matches
Mail list logo
