On Fri, 19 Jan 2007, Joris van der Hoeven wrote:
I think it would be good to add this information to www.texmacs.org, so
that Gentoo users could use this overlay.
Yes, it should; do you volunteer for maintaining the web-pages with
links to all major distributions (with version/status/maintainer info) ;^?
Yes, why not? The only question is what's a *major* distribution? It would
be too tiresome to trace many hundreds of distributions known to
distrowatch :-)
Andrey
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
