On Wed, Sep 07, 2011 at 04:17:34PM +0700, Andrey G. Grozin wrote: > I'd like to repeat my suggestions: > > * remove the mupad plugin, because mupad is dead
Is it realy dead dead dead? The plug-in was nice. > (and the plugin has a known security hole) What was that, just for curiousity? > * include the fricas plugin by A.Solovets; his fricas-texmacs > interface is really good Thanks for the reminder. I'll take a look into that. Best, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
