Re: [Texmacs-dev] improved Reduce interface, needs GO

[Joris van der Hoeven]

> bin/tm_reduce: the "| reduce_filter" part can be removed
> bin/reduce_setup: this script can be removed
> install/patch: this patch can be removed
> install/README: has to be rewritten
> install/reducerc: has to be changed
> install/tmprint.red: has to be added
> src/reduce_filter.c: can be removed
> Makefile: can be removed
>
> @Joris: I'm prepared to make these changes, as soon as I have your GO

Of course: please send us a tarball with Andrey in the CC,
so that he can test it first. We can give you write access to
the reduce plug-in on CVS for future changes.

Best wishes and thanks for the work, Joris