On 16 October 2014 02:01, Ralf Hemmecke <[email protected]> wrote: >> What will be the impact on efricas and axiom-wiki of these changes? > > There's a patch for efricas included.
Great. > --> Since the previous tex.spad+emacs connection did not have any > line breaking mechanism, you should see an improvement. right. From my point of view line breaking is a most important feature. > I asked often enough, seemingly nobody tried. Better to just assume that no one wished to comment. > I only care about the line breaking in the book. There it's not perfect, > but good enough. Just "good enough" sounds rather discouraging. > I don't care very much about efricas, because I'm not > using it with tex, but it should be an improvement. > It is a pity that you state explicitly that you "don't care very much about efricas". That might not be very encouraging to people who actually do use efricas. But maybe you are right that the best way to get comments from people who do use efricas is just to risk including your changes in the distribution ... > axiom-wiki: I have no access to a copy of the current vm (and don't even > know where I would have to patch) ---> No idea how this will work. But > since I had to patch efricas, there's certainly need to patch > mathaction, as well. I will try to find the time to test this in the mathaction that I run locally. > > Documentation: There is a sufficiently big test suite. Run it through > the old and the new tex.spad and look at the differences. That will > probably tell you more than any explanation in words. Other things > are in the mail archive. > I was hoping for a quick summary but maybe improved line breaking is sufficient motivation. Bill. -- 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/d/optout.
