Hi Paul, I've now upgraded to Emacs 24.3.1 and played a bit with your axiom-environment.
First a short remark. I think it is a really big drawback that your mode is only for Emacs24, because even on Ubuntu 13.10 an "apt-get install emacs" will install Emacs23. I explicitly had to say "apt-get install emacs24". That in turn means, the FriCAS project cannot simply try to take your code as the basis for efricas. I haven't really played long enough with your emacs mode to be able to say deep things, but the source code itself looks quite nice. In fact, I wonder whether you would be interested to write something similar for editing aldor files. I have hacked together an aldor-mode (http://hemmecke.org/aldor/emacs). Works for me, but it's actually not as nicely written as your axiom-environment code. Looking into themes/fricas-on-sbcl-theme.el shows me that you seem to rely on the fricas promt having the form (nnn) -> Probably OK, but I guess, it would be better to do similar to what Martin Rubey has done in the current underlying efricas mode, i.e. to use the hook mechanism of fricas to inject some special character sequences into the output so that finding the prompt would be more reliable. However, maybe it's unnecessary. What would be cool... if editing .input files, it should be possible to type something like Ctrl-ENTER to send the current line to a fricas session. Even more cool, if I could thus send a multiline function definition. Ralf On Thursday, November 28, 2013 2:21:50 PM UTC+1, Paul Onions wrote: > > Hi Ralf, > > Yeah, as I wrote in the README it is quite likely not to work with > versions of Emacs before 24.2, which is what I had on my machine when > I started writing it. > > Sorry about that. Is it possible for you to upgrade? > Paul > > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/groups/opt_out.
