--- Francois Maltey <[EMAIL PROTECTED]> wrote:
> Hello,
>
> I test the axiommode again.
>
> You correct main bugs. The display is much better.
Ah, good. Thanks.
> Even if you rewrite arrows functions there are others cursor command,
> as [meta >], [meta <], [ctrl N], [ctrl F].
Do they cause
Hello,
I test the axiommode again.
You correct main bugs. The display is much better.
Even if you rewrite arrows functions there are others cursor command,
as [meta >], [meta <], [ctrl N], [ctrl F].
// 1 //
The first axiom-output before (1) -> isn't write-protect.
You may write-protect it.
//
patch applied. available in the next release -- t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Hi,
Here is the patch (author unknown):
--- src/doc/book.pamphlet.old 2006-05-12 15:08:27.519363500 +0200
+++ src/doc/book.pamphlet 2006-05-12 15:16:38.822068000 +0200
@@ -1231,11 +1231,11 @@
the result is stored as the fraction 2/1 but is displayed as the integer
2.
This fraction could be conv
Hi,
Le jeudi 11 mai 2006 à 22:39 +0200, Ralf Hemmecke a écrit :
> I don't lknow whether you are aware of my aldor-mode
> (http://www.hemmecke.de/aldor) and whether it could be relevant for what
> you are trying to achieve. (It's a noweb file...)
For information a lot of links on the "Emacs Sup
OK, I have tried to address as many of the "low hanging fruit" in the
much-appreciated bug reports as I can. Here's the current roundup:
Concerns:
1. second axiom-mode command destroys old keyboard layout
- fixed by making the axiom-mode call a function instead
of a derived mode. r
--- Stephen Wilson <[EMAIL PROTECTED]> wrote:
> Hi Ralf, Cliff,
>
> Although I have not participated on this list in some time, I still
> read it most days. I really should start contributing again.
>
> On Thu, May 11, 2006 at 10:39:07PM +0200, Ralf Hemmecke wrote:
> > Another aldor-mode has be
--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> > Perhaps (*)
> > glue lines with a _ at the end to the next one.
> (inline syntax)
> > glue lines with a space at beginning to the prévious one.
> (input syntax)
> > but cut all the others lines.
>
> I hope you also consider an
Christian,
To underpin, that the given Dom is a function, look at the attached
test.as file. It gives you a a domain in the usual domain syntax and the
usual function syntax. Introducing DomVar in the variant is necessary,
sinc the compiler causes troubles otherwise. But i'd consider that a
c
Hello,
Do you really want a type system whose language is not functional?
Actually, I haven't thought about this. I somehow have the feeling that
the Aldor compiler implements such a functional type language. But I
don't know whether this is on purpose.
I do not have this feeling. Quite on t
10 matches
Mail list logo
