Francois Maltey <[EMAIL PROTECTED]> writes:
> Dear Martin,
>
> > > > [[M-x axiom]] should switch to the buffer [[*axiom*]],
> > > > if it exists and if it is an "axiom buffer".
>
> > > > If there is no such buffer,
> > > > it should create a new buffer and a new axiom process.
> > >
> > > T
Greetings! There is something wrong with sgc, I think minor. One can
trigger and help debug if desired using the simple command (typep 0
'standard-object) in a fresh compiler::link'ed image interspersed with
calls to (si::gbc t) This is the lisp in build/i686.../bin/
I'll try to fix this soon.
Hi, Camm --
Here is some feedback with respect to the use of ACL2 on top of GCL,
as I see it.
>>A final question remains of
>>whether or not to actually use ftype declaims if provided.
As you know, in ACL2 we do our own auto-proclaiming of function types.
Just to be safe, I think it woul
Axiom Developers,
On 6/24/07 Tim Daly sent me a private email on the subjects discussed
by me in this thread on June 23, 2007 7:52 PM. He claimed that I had
published several emails that disparage him in an unjust personal
manner and that he thought that it was highly unprofessional of me to
make
Waldek Hebisch <[EMAIL PROTECTED]> writes:
> Later I hit problem with setting memory parameters, gcl complained:
>
> Condition in APPLY [or a callee]: INTERNAL-SIMPLE-ERROR: Can't set the limit
> for relocatable blocks to 1000.
>
> This error went away when I commented Axiom code which tried to
I wrote:
> > But later I hit another one: I am getting messages like:
> >
> > ;; Compiling stage0/ptyout.clisp.
> > Segmentation violation: c stack ok:signalling errorError in error:
> > ERROR TYPE-ERROR (DATUM # EXPECTED-TYPE
> > (OR METHOD-CALL FUNCTION)) NIL
> >
I have
Hi,
Giving a conventional version numbering x.y.z is not
exclusing of giving the build time. In fact none of them
is completely accurate and unambiguous for all purposes. They can
be seen complimentary. It can also be checked that several
software out there give both types of versioning. Th
Bill --
When replying, please CC: me using my address at TAMU as I cannot
currently access my usual dev machine which has all Axiom mails.
If you build Axiom.build-improvements prior to version 632, you
notice that when compiling the algebra files, AXIOMsys will spit out
noise saying "Unex
Hi,
I'm currently in Lille; I visited the computer algebra group (headed by
Michel Petitot) at LIFL last thursday. Michel Petitot was an Axiom user and
contributor in the late '80 and beginning '90 -- pieces of his contributions
to the Axiom algebra are still there.
I'll be giving a talk
Dear Martin,
> > > [[M-x axiom]] should switch to the buffer [[*axiom*]],
> > > if it exists and if it is an "axiom buffer".
> > > If there is no such buffer,
> > > it should create a new buffer and a new axiom process.
> >
> > The axiom command in axiom.el file works so.
>
> Not for me.
W
Francois Maltey <[EMAIL PROTECTED]> writes:
> In your previous mail you write about :
>
> clean up initialisation routines.
> -
> I don't understand what you should like :
>
> > [[M-x axiom]] should switch to the buffer [[*axiom*]], if it exists and if
> > it is
> Greetings, and thanks so much for the report!
>
> Will attend to the installation issues ASAP.
>
> The other is of course more serious. Since you have it all setup,
> would you mind running with (si::use-fast-links nil)(trace (error
> :entry (break))) and then do a :bt at the lisp prompt? For
Hi Martin,
Thanks to your axiom.pamphlet and axiom.el files,
Now I better understand how the comint mode is running...
In your previous mail you write about :
clean up initialisation routines.
-
I don't understand what you should like :
> [[M-x axiom]] should s
Greetings, and thanks so much for the report!
Will attend to the installation issues ASAP.
The other is of course more serious. Since you have it all setup,
would you mind running with (si::use-fast-links nil)(trace (error
:entry (break))) and then do a :bt at the lisp prompt? For really low
le
Greg, thanks for your comments, they are very helpful.
Gregory Vanuxem wrote:
> Le mardi 12 juin 2007 ? 14:54 +0200, Waldek Hebisch a écrit :
> > Could you be more specific about file handling in Windows SBCL? AFAIK
> > makedir is problematic (but I hoped that it would work if you have mkdir
> >
15 matches
Mail list logo