Hi Darcy, I will comment later on GSOC. Just to react on this:
On Sun, May 24, 2020 at 01:33:22PM +0800, Darcy Shen via Texmacs-dev wrote: > P.S. I found that TeXmacs is really a good platform to generate the static > site. But there are subtle bugs for the current site generators. It might be nice to create a few style files dedicated to generating web pages. In principle, the necessary infra-structure is already there, as I use it for the TeXmacs website and my personal webpages. The idea is to use a clever mixture of TeXmacs styling, CSS styling, and javascript if one needs some dynamic features. Best wishes, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
